Es sei R {\displaystyle {}R} ein normaler noetherscher Integritätsbereich und seien f , g ∈ R {\displaystyle {}f,g\in R} .
Dann ist g ∈ f R {\displaystyle {}g\in fR} genau dann, wenn g ∈ f R p {\displaystyle {}g\in fR_{\mathfrak {p}}} für jedes Primideal p {\displaystyle {}{\mathfrak {p}}} der Höhe 1 {\displaystyle {}1} von R {\displaystyle {}R} gilt.
