How To Prove Something Is A Vector Space