結果 : how to prove a vector subspace