Let and be two positive integers such that . Prove that, if is a prime number for each positive divisor of , then is a prime number.
NMO Selection Tests for the Junior Balkan Mathematical Olympiad
Solution
For it follows that is a prime.
For it follows that is a prime. As does not divide (being larger than ), from Fermat's Theorem we get , hence . It follows that , hence . We have seen at the beginning that is a prime.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.