Fermat's Little Theorem. If is prime and is a positive integer with , then
Solution
Proof. Consider the integers . None of these integers are divisible by , for if , then by Lemma , since . This is impossible because . Furthermore, no two of the integers are congruent modulo . To see this, assume that Then, from Corollary 3.1 , since , we have . This is impossible, since and are positive integers less than .
Since the integers are a set of integers all incongruent to zero, and no two congruent modulo , we know that the least positive residues of , taken in some order, must be the integers . As a consequence, the product of the integers is congruent modulo to the product of the first positive integers. Hence,
Therefore,
Since , using Corollary 3.1 , we cancel ! to obtain
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.