费马小定理

若 p 为素数且 gcd(a,p) = 1，则 a^(p−1) ≡ 1 (mod p)；用于指数化简与素性判定。