Proving Subspaces