取满足 Q(x0)=x0Q(x_0)=x_0Q(x0)=x0 的整数并定义 xi+1=P(xi)x_{i+1}=P(x_i)xi+1=P(xi)，则 xk=x0x_k=x_0xk=x0。若所有这样的整数 x0x_0x0 还满足 P(x0)=x0P(x_0)=x_0P(x0)=x0，由于 P(x)−xP(x)-xP(x)−x 的次数为 nnn，其根数立即给出所需界。