Groups: Subgroups of cyclic groups

We argue that for each divisor of the order of a finite cyclic group, there exists a unique subgroup of order equal to the divisor.