>>567
有限次元なら有限個の元からなる基底が存在する。