Sei R {\displaystyle {}R} ein faktorieller Bereich und p ∈ R {\displaystyle {}p\in R} ein Primelement