直接给公式,你会发现它直接覆盖了费马小定理。

$a^b=a^{b\% \varphi(p)},gcd(a,p)=1\ (mod\ p)$

$=a^b,gcd(a,p)\not=1,b < \varphi(p)\ (mod\ p)$

$=a^{b\%\varphi(p)+\varphi(p)},gcd(a,p)\not=1,b\ge \varphi(p)\ (mod\ p)$