How To Prove Something Is A Vector Subspace