Ganze Erweiterung eines Körpers/Integer/Körper/Fakt/Beweis

Beweis

Es sei , . Wir betrachten eine Ganzheitsgleichung

Wenn ist, so können wir ausklammern und erhalten, da ein Nichtnullteiler ist, eine Ganzheitsgleichung kleineren Grades. Wir können also annehmen, dass ist. Dann ist

und somit ist eine Einheit.