結果 : how to check if something is a linear subspace