結果 : how to prove if a vector is a subspace