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

${\displaystyle {}R\cap (f)S=(f)R\,.}$