Es sei R ⊆ S {\displaystyle {}R\subseteq S} eine endliche Ringerweiterung und f ∈ S {\displaystyle {}f\in S} ein Nichtnullteiler.