对于质数p,任意整数a,均满足: a p ≡ a ( m o d    p ) a^p≡a(mod \; p) ap≡a(modp)
如果a不是p的倍数,也可以写成: a p − 1 ≡ 1 ( m o d    p ) a^{p - 1} ≡1(mod \; p) ap−1≡1(modp)
参考来源
博客 – 很好的一篇博客,有证明
https://www.cnblogs.com/zylAK/p/9569668.html
百度百科
https://baike.baidu.com/item/%E8%B4%B9%E9%A9%AC%E5%B0%8F%E5%AE%9A%E7%90%86/4776158