Es sei P∈ℚ[X] ein ganzwertiges Polynom vom Grad d mit dem Leitkoeffizienten αd.
Dann ist d!⋅αd ganzzahlig.