>>25
f(1)=a+b+c=p 素数とする
f(1+p)≡f(1)=p (mod p)
f(1+p)>f(1) なので f(1+p)はpを約数にもつ合成数