How To Prove Something Is A Subspace