Show that if and , then and .Proving
The value of k represents the dimension of a basis for the vectors in that are not in .
Hence (Was the proof above enough to justify this step?).
Therefore and , .
Conversely, so .
This gives that .
but we know that
(this is implied because they have the same dimension over the same vector space so they must be the same subspace).