Với đa thức hệ số nguyên, xét 2 số nguyên m, n bất kì, ta có:
\(f\left(m\right)-f\left(n\right)=am^3+bm^2+cm+d-an^3-bn^2-cn-d\)
\(=a\left(m^3-n^3\right)+b\left(m^2-n^2\right)+c\left(m-n\right)\)
\(=a\left(m-n\right)\left(m^2+n^2+mn\right)+b\left(m-n\right)\left(m+n\right)+c\left(m-n\right)\)
\(=\left(m-n\right)\left[a\left(m^2+n^2+mn\right)+b\left(m+n\right)+c\right]⋮\left(m-n\right)\)
\(\Rightarrow f\left(m\right)-f\left(n\right)⋮m-n\) với mọi m, n nguyên
Giả sử tồn tại đồng thời \(f\left(7\right)=53\) và \(f\left(3\right)=35\)
Theo cmt, ta phải có: \(f\left(7\right)-f\left(3\right)⋮7-3\Leftrightarrow53-35⋮4\Rightarrow18⋮4\) (vô lý)
Vậy điều giả sử là sai hay không thể đồng thời tồn tại \(f\left(7\right)=53\) và \(f\left(3\right)=35\)