Sei ${\displaystyle {}R}$ ein Integritätsbereich und sei ${\displaystyle {}F=\sum _{i=0}^{n}c_{i}X^{i}\in R[X]}$ ein Polynom. Es sei ${\displaystyle {}p\in R}$ ein Primelement mit der Eigenschaft, dass ${\displaystyle {}p}$ den Leitkoeffizienten ${\displaystyle {}c_{n}}$ nicht teilt, alle anderen Koeffizienten teilt, aber dass ${\displaystyle {}p^{2}}$ nicht den konstanten Koeffizienten ${\displaystyle {}c_{0}}$ teilt.

Dann besitzt ${\displaystyle {}F}$ keine Zerlegung ${\displaystyle {}F=GH}$ mit nicht-konstanten Polynomen ${\displaystyle {}G,H\in R[X]}$.