Prove that if is a prime and is a subgroup of of order , then .
Note that every nonidentity element of is a -cycle, since the order of an element in is the least common multiple of the lengths of the cycles in its decomposition and is prime. Note also that any two conjugates of either intersect trivially or coincide, since is prime. Moreover, every -cycle is contained in some conjugate of because all -cycles are conjugate. Finally, in the previous exercise we computed that the number of -cycles in is . Thus there are distinct conjugates of in , hence via the Orbit-Stabilizer Theorem.