费马小定理：假如p是质数，且gcd(a,p)=1，那么 a(p-1)≡1（mod p）。

即：假如a是整数，p是质数，且a,p互质(即两者只有一个公约数1)，那么a的(p-1)次方除以p的余数恒等于1。

如果求一个数的很大次幂，就需要费马小定理来降幂。