对奇素数 ppp 与任意正整数 bbb,在原条件中取 a=pa=pa=p:p+b∣p2+f(p)f(b)=p2+pf(b)p+b\mid p^2+f(p)f(b)=p^2+pf(b)p+b∣p2+f(p)f(b)=p2+pf(b)(利用第4步的 f(p)=pf(p)=pf(p)=p)。展开所示恒等式右边可验证其等于 p2+pf(b)p^2+pf(b)p2+pf(b),故 p+bp+bp+b 整除左边;由于 p+bp+bp+b 显然整除 (p+b)(f(b)+p−b)(p+b)(f(b)+p-b)(p+b)(f(b)+p−b),它也必须整除剩余项 b(f(b)−b)b(f(b)-b)b(f(b)−b)。