Es sei P ∈ Q [ X ] {\displaystyle {}P\in \mathbb {Q} [X]} ein ganzwertiges Polynom vom Grad d {\displaystyle {}d} mit dem Leitkoeffizienten α d {\displaystyle {}\alpha _{d}} .
Dann ist d ! ⋅ α d {\displaystyle {}d!\cdot \alpha _{d}} ganzzahlig.