Fermat's Little Theorem/Corollary 1

Corollary to Fermat's Little Theorem
If $p$ is a prime number, then $n^p \equiv n \pmod p$.

Proof 2
It dates from 1640.

Some sources call this Fermat's Little Theorem, and from it derive that theorem as a corollary.