Since is the spanning set for the subspace , every vector from the set is expressed as linear combination of vectors from the set .
Since all the vectors are independent all the vector coefficients
are independent.
So we have linearly independent vectors , each of dimension .
Suppose . Then any of vectors form a basis of . Then remaining vectors are expressed via the basis vectors which contradicts to linear independency of . Thus and the statement is proved.