当 $a,p\in \mathbb{Z}$ 且 $p$ 为质数，且 $a\not\equiv 0\pmod{p}$ 时有：
$a^{p-1}\equiv 1\pmod{p}$。

所以 $a^b\equiv a^{b\bmod (p-1)}\pmod p$？

为什么$a^b\equiv a^{b\bmod (p-1)}\pmod p$？

谢谢！