Euler's Criterion

Theorem
Let $p$ be an odd prime.

Let $a \not \equiv 0 \pmod p$.

Then: