>>132
部分空間なら 0 ベクトルを含んでいなければならない。