Subgroup of Cyclic Group is Cyclic

Theorem
A subgroup of a cyclic group is cyclic.