Fermat's Little Theorem

a^{p-1} ≡ 1 (mod p) for prime p and a not divisible by p.