Lemma 12 If is a prime, then implies , and when it implies .
Solution
Since is a prime number, has only two positive divisors, which are 1 and . If , then only . Conversely, if , then is not a common divisor of and , so .
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.