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
