Fermat's Little Theorem

Given:
(1) p element of Prime
(...)

Then:
a^(p-1) = 1 (mod p)
OR
a^p = a (mod p)