Theorem 5.5. If , where the 's are distinct primes that satisfy for all , then is a Carmichael number.
Solution
Proof. Let be a positive integer with . Then for , and hence, by Fermat's little theorem, for . Since for each integer , there are integers with . Hence, for each , we know that . Therefore, by Corollary 3.2 , we see that , and we conclude that is a Carmichael number.
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.