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:
