Beweis

Nach Fakt gibt es überhaupt Elemente , die eine -Basis von bilden. Daher gibt es auch solche Basen, wo der (ganzzahlige) Betrag der Diskriminante minimal ist. Für diese gilt nach Fakt, dass sie ein -Erzeugendensystem von bilden. Die lineare Unabhängigkeit über sichert die Eindeutigkeit der Koeffizienten.