Let be a group, a normal subgroup of prime index , and a subgroup. Prove that either or and .
Suppose ; say . Now is cyclic, and moreover is generated by any nonidentity- in particular by .
Now since is normal. Let . We have for some integer . In particular, for some , hence . We have by the Second Isomorphism Theorem.