Giả sử f(x) = c0 + c1x + ... + cnxn với c0, c1, ..., cn là các số nguyên
f(a) - f(b) = (cn.an + ... + c1.a + c0) - (cn.bn + ... + c1.b + c0)
= cn(an - bn) + ... + c1(a - b) + (c0 - c0)
= cn(a - b)(an-1 + an-2b + ... + bn-1) + ... + c1(a - b)
= (a - b)(...) ⋮ (a - b)
Vậy bài toán đã được chứng minh