此为fermat小定理变形
fermat小定理:设p为素数,a为整数,(a,p)=1,则a^(p-1)≡1(modp)
则a^(p-1)*a≡a(modp)
故a^p-a≡0(modp)
证毕