Nach Voraussetzung gibt es eine
lineare Abbildung
-
mit
-
Aus
-
folgt
-
was aufgrund der Bijektivität von direkt
-
also
-
bedeutet. Daher ist injektiv. Zu gibt es zu einem Punkt wegen der Surjektivität von ein mit
-
Daher ist
-
und ist auch surjektiv. Mit der linearen Umkehrfunktion gilt
-
für und . Die bijektive Abbildung ergibt nämlich die Identität