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