Fermat's Little Theorem

Let p be a prime and let a ∈ Z + be such that a is not a multiple of p, i.e., p does not divide a. Let's look at the set Z p of congruence classes modulo p. There are exactly p congruence classes and We define the function f a : Z p → Z p by f a ([x] p) = [ax] p .