Giả sử đa thức f(x) có nghiệm nguyên k. Khi đó ta có
ak3 + bk2 + ck + d = 0;
hay
k(ak2 + bk + c) = -d (*).
Từ giả thiết ta có
f(1) = a + b + c + d;
f(0) = d.
Vì f(0) và f(1) là các số lẻ nên d và a + b + c + d là các số lẻ; suy ra d lẻ và a + b + c chẵn. Từ giả thiết (*) suy ra k là ước của d, và vì d lẻ nên k lẻ. Từ đó ta có k3 - 1, k2 - 1, k - 1 là các số chẵn suy ra a(k3 - 1) + b(k2 - 1) + c(k - 1) là số chẵn, hay (ak3 + bk2 + ck) - (a + b + c) là số chẵn. Nhưng vì a + b + c chẵn nên ak3 + bk2 + ck chẵn, và vì giả thiết (*) nên -d chẵn, hay d chẵn. Điều này trái giả thiết vì d lẻ.
Vậy, với các điều kiện đã cho thì f(x) không có nghiệm nguyên.