ベクトル空間に常に基底が存在することの証明は
高校生には難しいよ?