質問よろしいでしょうか
f(x)は整数係数多項式とします。因数定理より、異なる整数m, nに対し、m-n | f(m)-f(n)
とあるのですが、これって自明なんでしょうか？