f(x)=x^3+ax^2+bx+c   a,b,c∈整数

f(-1),f(0),f(1)が3で割り切れないならばf(x)=0は整数解をもたない

どうやって証明すればいいんでしょうか?