Es sei R {\displaystyle {}R} ein noetherscher Integritätsbereich und p ∈ R {\displaystyle {}p\in R} ein Primelement. Es sei R p {\displaystyle {}R_{p}} faktoriell.
Dann ist R {\displaystyle {}R} selbst faktoriell.
