Es sei
eine Orthonormalbasis und
. Nach Voraussetzung sind diese Vektoren
und stehen paarweise senkrecht aufeinander. Es sei
-

die zugehörige Orthonormalbasis. Wir betrachten die durch
-
gegebene lineare Abbildung
. Diese ist nach
Fakt
(oder nach
Aufgabe)
eine
Isometrie
und hat Determinante
oder
.
Wir schreiben
-

wobei
die Form
besitzt. Aufgrund des Determinantenmultiplikationssatzes ist die Determinante von
ebenfalls
oder
.
Die Orthogonalitätsbedingung gilt mit
und
auch für
. Es genügt somit zu zeigen, dass
eine Isometrie ist, wozu es genügt, zu zeigen, dass alle
betragsmäßig gleich
sind. Nehmen wir an, dass es ein
mit
-

gibt. Wegen der Eigenschaft der Determinante ist
-

und daher gibt es auch ein
mit
-

Die Vektoren
und
sind wegen
-

orthogonal zueinander. Ihre Bilder
und
sind aber wegen
-

nicht orthogonal zueinander.