Giả sử \(f\left(x\right)=m_nx^n+m_{n-1}x^{n-1}+...+m_1x+m_0\) với \(m_0;m_1;...;m_n\in Z\).
Ta có \(f\left(a\right)-f\left(b\right)=m_n\left(a^n-b^n\right)+m_{n-1}\left(a^{n-1}-b^{n-1}\right)+...+m_1\left(a-b\right)\).
Dễ thấy tổng trên chia hết cho a - b với mọi a, b nguyên.
Vậy ta có đpcm.