设 f 为 P(x)−p 的真因子,即 P(x)−p=f(x)g(x),其中 f,g 均非常数。由高斯引理,存在整系数多项式 f1,g1(分别为 f,g 的数量倍)使得 P(x)−p=f1(x)g1(x);因 f1(0)g1(0)=P(0)−p=−p 且 p 为素数,可取 f1(0)=±1。若 f1 的每个根绝对值都大于 1,则 ∣f1(0)∣ 将等于 f1 的首项系数(绝对值 ≥1 的整数)乘以各根大小之积,从而超过 1;这与 ∣f1(0)∣=1 矛盾。故 f1,从而 P(x)−p,存在根 r 满足 ∣r∣≤1。