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 .

Proving

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).