1^n+2^n+3^n+…+(p-1)^n
=1+2+...+(p-1) mod p (素数の巡回群から)
=((p-1)+1)(p-1)/2
=p(p-1)/2
=0 mod p