Beweis

Zunächst ist ein Integritätsbereich. Es sei ein Ideal. Damit ist insbesondere eine (additive) Untergruppe von und hat nach Fakt die Gestalt . Damit handelt es sich um ein Hauptideal.