結果 : how to prove that a vector space is a subspace