1 法が素数の場合
f(n)≡0 modpの解の個数はn個以下である。