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