How to Prove a Set is a Subspace of a Vector Space