Proof. Suppose .
Let
be a basis of
and
an inverse image of this basis when
is applied. We will prove that .
Suppose .
There are
such that
Let .
We have that .
Hence .
But ,
therefore ,
implying .
The inclusion in the other direction is clearly true, hence .
Let
be any linear map such that
Let .
There are
and
such that
Thus
Hence ,
as desired.
Conversely, suppose .
Let .
Then
Hence ,
as desired. □