第1–6步表明归一化后的多项式为 xnx^nxn,故还原第1步的取号与平移,得到某个整数 n≥0n\ge0n≥0 与整数 kkk,使 P(x)=±xn+kP(x)=\pm x^n+kP(x)=±xn+k。反之,若 P(x)=±xn+kP(x)=\pm x^n+kP(x)=±xn+k 且 P(s),P(t)P(s),P(t)P(s),P(t) 为整数,则 sn,tns^n,t^nsn,tn 为整数,从而 (st)n=sntn(st)^n=s^nt^n(st)n=sntn 为整数,P(st)=±(st)n+kP(st)=\pm(st)^n+kP(st)=±(st)n+k 也为整数。因此这些正是满足所要求性质的全部多项式。