Prove some facts about subspaces