結果 : how to prove something is a subspace of a vector space