タイトル通り証明を思いついたので投稿します f(0)(p,n)=(n-1)^(p-1) (mod p) となっていることに気付きました。 このことの証明は、(p-1)Cmが、mが偶数のとき1になり、mが奇数のとき-1になることから分かります。 (p-1)Cmという記号は、(p-1)(p-2)(p-3)……(p…