Es sei R {\displaystyle {}R} ein normaler Integritätsbereich und R ⊆ S {\displaystyle {}R\subseteq S} eine ganze Ringerweiterung. Sei f ∈ R {\displaystyle {}f\in R} . Zeige, dass für das von f {\displaystyle {}f} erzeugte Hauptideal gilt:
