Wenn fA surjektiv ist,  gibt es zu jedem der kanonischen Einheitsvektoren ei
von K^m  (also i ∈{1,...,m } ) einen Vektor vi ∈ K^n mit   fA(vi) = ei .
Also für alle i ∈{1,...,m } gilt dann A*vi = ei .
Die Matrix B sei die Matrix, deren Spalten die vi sind,
dann gilt also  A*B = Em .
Ist umgekehrt B eine Matrix mit  A*B = Em .  #
Dann ist fA surjektiv, denn sei v∈K^m , dann ist
Em * v = v
also wegen #    (A*B)*v = v
==>    A * ( B*v) = v
==>     fA ( B*v) = v
also ist B*v ein Vektor, dessen Bild v ist. Somit gibt es
zu jedem v∈K^m ein w∈K^n  (nämlich w = B*v)
mit     fA ( w) = v. Also ist fA surjektiv.