由于 PPP 具有整系数,P(2)P(2)P(2) 是整数;结合 P(t)=p∈ZP(t)=p\in\mathbb ZP(t)=p∈Z,对 s=2s=2s=2 应用假设得 P(2t)∈ZP(2t)\in\mathbb ZP(2t)∈Z。P(x)−pP(x)-pP(x)−p 与 P(2x)−P(2t)P(2x)-P(2t)P(2x)−P(2t) 都是在 x=tx=tx=t 处为零的整系数多项式,故其(在 Q\mathbb QQ 上计算的)最大公因式 f(x)f(x)f(x) 是一个有理系数的非常数多项式,且整除两者。