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.