Giả sử phương trình f(x) = 0 có nghiệm nguyên x = a. Khi đó f(x) = (x - a).g(x)
Vậy thì f(0) = -a.g(x) ; f(1) = (1 - a).g(x) ; f(2) = (2 - a).g(x); f(3) = (3 - a).g(x) ; f(4) = (4 - a).g(x) ;
Suy ra f(0).f(1).f(2).f(3).f(4) = -a.(1-a)(2-a)(3-a)(4-a).g5(x)
VT không chia hết cho 5 nhưng VP lại chia hết cho 5 (Vì -a.(1-a)(2-a)(3-a)(4-a) là tích 5 số nguyên liên tiếp nên chia hết cho 5)
Vậy giả sử vô lý hay phương trình f(x) = 0 không có nghiệm nguyên.