Zahlbereich/Hauptdivisor/Endlich/Fakt/Beweis

Beweis

Sei ein Primideal in und . Dann ist in eine Einheit. Damit ist . Da der Restklassenring nach Fakt endlich ist, folgt sofort, dass nur in endlich vielen Primidealen enthalten ist, und nur für diese ist .