Es sei ${\displaystyle {}R}$ ein noetherscher Integritätsbereich und ${\displaystyle {}p\in R}$ ein Primelement. Es sei ${\displaystyle {}R_{p}}$ faktoriell.

Dann ist ${\displaystyle {}R}$ selbst faktoriell.