正整数全体で定義され正整数の値をとる関数fについて
fが次の条件をみたしている。
条件:f(a)-f(b)はa-bで割り切れる
この時、次を満たす素数pが無数に存在する事を示せ。
ある自然数cが存在してf(c)がpで割り切れる