对不同的整数 u,vu,vu,v,每个 uj−vju^j-v^juj−vj 都被 u−vu-vu−v 整除。由于 PPP 为整系数多项式,把这些可除性相加便得 u−v∣P(u)−P(v)u-v\mid P(u)-P(v)u−v∣P(u)−P(v)。