$a^{p-1} \equiv 1 \pmod{p}$

$a^p \equiv a \pmod{p}$

$a^p \equiv 1 \pmod{p}$

$a^{p-1} \equiv 0 \pmod{p}$