Es sei R {\displaystyle {}R} ein noetherscher Integritätsbereich.
Dann besitzt jede Nichteinheit f ≠ 0 {\displaystyle {}f\neq 0} eine Faktorzerlegung in irreduzible Elemente.
