If is a subspace of then say then it means we can find a basis set for , . But these vectors are linearly independent. The problem is that a set of linearly independent vectors cannot exceede the dimension and we see that exceede the dimension of . This is a contradiction.