Es sei R {\displaystyle {}R} ein noetherscher Integritätsbereich und seien f , g ≠ 0 {\displaystyle {}f,g\neq 0} Nichteinheiten.
Dann gibt es einen maximalen Exponenten n {\displaystyle {}n} mit f = g n h {\displaystyle {}f=g^{n}h} .
