>>919
kがp-1で割り切れない時、
∑i^k≡0 modp
rを法pの原始根とすると
∑r^(ik)≡0
(p-1)！≡-1 modp Wilsonの定理
x^n≡a modp
aをpのn冪剰余、
aをpのn冪非剰余