If S
and W
are subspaces of a finite-dimensional vector space V
with dim(S)=dim(W),
then S=W
.