 Fermat little theorem

For a prime p, every integer a satisfies a^p congruent to a modulo p.