由于 PPP 具有整系数,P(0)P(0)P(0) 自动为整数。若 PPP 为常数,它已经是整数常数并属于最后的结果族,因此可设 degP=n≥1\deg P=n\ge1degP=n≥1。若 PPP 具有上述性质,则对任意整数 kkk,P(x)+kP(x)+kP(x)+k 以及 −P(x)-P(x)−P(x) 也具有该性质,整数性假设不变。因此可将 PPP 替换为 ±(P(x)−P(0))\pm\big(P(x)-P(0)\big)±(P(x)−P(0)),使得 P(0)=0P(0)=0P(0)=0 且 P(x)=∑i=1naixiP(x)=\sum_{i=1}^n a_ix^iP(x)=∑i=1naixi 的首项系数 ana_nan 为正。只需证明 P(x)=xnP(x)=x^nP(x)=xn。