Nach
Fakt
ist die Anzahl des Kernes der Isogenie gleich der Anzahl von . Es liegt ein kommutatives Diagramm
-
wobei die vertikalen Abbildungen Isomorphismen sind. Die Aussage folgt somit mit dem Betrag der Determinante aus
Aufgabe.
Es ist noch zu zeigen, dass die Determinante stets positiv ist. Es sei
und eine Basis des Gitters. Nach Voraussetzung gilt
-
und
-
mit
.
Als Isomorphismus des reellen Vektorraumes
wird die Multiplikation mit einerseits bezüglich der Standardbasis durch die reelle Matrix mit der positiven Determinante und andererseits bezüglich der reellen Basis durch die Matrix
-
beschrieben, die somit auch eine positive Determinante besitzt.