Proof. Let be cyclic generated by and let be a subgroup of . If = { }, then = is cyclic. If { }, then for some . Let be minimal such that .
We claim that = generates , that is
We must show that every is a power of . Since and ≤ , we have = for some . Find and such that