added subspaces proofs