Es sei eine
endliche Körpererweiterung
vom Grad und sei der zugehörige Zahlbereich. Es sei ein von verschiedenes Ideal in . Es seien Elemente, die eine
-Basis
von bilden und für die der Betrag der Diskriminante
-
unter all diesen Basen aus minimal sei.
Zeige, dass dann
-
ist.