Assume
show that:
Ifand
then![]()

letand
be the corresponding linear transformations defined by
let's put
and
![]()
sincewe have
thus, using the rank nullity theore, we have
and hence
on the other hand, sinceand
we have, again by the rank-nullity theorem,
now suppose
thenand thus
i.e.
hence
and therefore
so
finally, using (1) and (2) and the rank-nullity theorem, completing the proof is easy:
![]()