費馬小定理

若 p 為質數且 gcd(a,p) = 1，則 a^(p−1) ≡ 1 (mod p)；用於指數化簡與質性判定。