Fermat's little theorem

Statement

a^p ≡ a (mod p) for prime p.