Subspace definition linear algebra prove