常数多项式 PPP 立即失败,因为此时 Pn=(n2)→∞P_n=\binom n2\to\inftyPn=(2n)→∞。若 degP≥2\deg P\ge2degP≥2,则对某个充分大的 kkk 有 P(k)−P(1)≥kP(k)-P(1)\ge kP(k)−P(1)≥k;取 n=P(k)−P(1)≥kn=P(k)-P(1)\ge kn=P(k)−P(1)≥k,则值 P(1)P(1)P(1) 与 P(k)P(k)P(k)(因 k≤nk\le nk≤n,二者都在 P(1),…,P(n)P(1),\ldots,P(n)P(1),…,P(n) 中)满足 P(k)−P(1)=n≡0(modn)P(k)-P(1)=n\equiv0\pmod nP(k)−P(1)=n≡0(modn),与引理矛盾。故 degP=1\deg P=1degP=1。