Zunächst ist wegen dem Beweis zu
Fakt
das Bild der Einheiten in der Tat ein Gitter in
. Dabei steht
senkrecht auf dem Vektor
, dessen Länge ist gleich
. Das kanonische Volumen auf
(das durch die euklidische Struktur gegeben ist)
des durch
erzeugten Parallelotops
(eben der Grundmasche)
stimmt bis auf den Faktor
mit dem Volumen des Parallelotops
im
überein, das zusätzlich von
erzeugt wird
(das Maß eines orthogonalen Zylinders ist Grundvolumen mal Höhe).
Nach
Fakt
ist dieses Volumen der Betrag der Determinante der Matrix
-
Wenn man aus dieser Matrix, nennen wir sie
, die erste Spalte und die letzte Zeile herausnimmt, so erhält man diejenige Matrix
, deren Determinantenbetrag nach Definition der Regulator ist. Wir addieren nun zur letzten Zeile von
nacheinander jede der übrigen Zeilen hinzu. Dies ergibt in der ersten Spalte den Eintrag
und in den übrigen Spalten den Eintrag
, da ja eben
ist. Somit ist, da sich bei den Zeilenumformungen nach
Fakt (4)
die Determinante nicht ändert, nach
dem Entwicklungssatz
-

also
-
