結果 : how to show something is a vector subspace