Prove a subspace