結果 : how to prove subspace of vector space