>>570
有限個の元からなる基底が存在しない証明は
nは定数ではないから有限個のベクトルの和で一般に表せない
程度のことでいいのでしょうか?