把一点与其自身减去 0 相比较,说明该点处的 f 已经整除了它到 f(0) 的差,而一个数总能整除自身,所以它也整除 f(0)。
在假设中令 n=0n=0n=0,得到对任意整数 xxx 都有 f(x)∣f(x)−f(0)f(x)\mid f(x)-f(0)f(x)∣f(x)−f(0)。由于 f(x)f(x)f(x) 总整除自身,它也整除差 f(x)−(f(x)−f(0))=f(0)f(x)-\big(f(x)-f(0)\big)=f(0)f(x)−(f(x)−f(0))=f(0);即对任意整数 xxx 都有 f(x)∣f(0)f(x)\mid f(0)f(x)∣f(0)。