Let be the smallest prime dividing , and suppose that some is cyclic. Prove that .
Write where does not divide . Note that . Since is abelian, we have . Now . Note that is a group of order , where denotes the Euler totient function. Moreover, divides . Since every prime divisor of is greater than , . Thus .