ppp 为质数，整数 iii 取值 [0,p−2][0,p-2][0,p−2]，
∑j=0p−1ji≡0(modp)\sum_{j=0}^{p-1} j^i \equiv 0 \pmod p∑j=0p−1ji≡0(modp)
写题的时候猜的结论，是对的，不会证 /jk
还是说这是什么很典的东西，如果是就打扰了，我切腹谢罪
