 Solution

ID: past-exam-of-the-options-i-course-of-the-university-of-oxford/2009/c/c1/i/solution

p

and any integer

a

a^{p} \equiv a (mod p) .

p ∤ a

, cancellation gives the equivalent statement

a^{p - 1} \equiv 1 (mod p)

 New to topics? Read the docs here!