How To Prove Something Is A Vector Space Also A Subspace