Existence of Cyclic Group of Order n

Theorem
Let $n \in \Z_{>0}$.

Then there exists a cyclic group of order $n$ which is unique up to isomorphism.

Proof
Existence follows from Integers Modulo m under Addition form Cyclic Group.

Uniqueness follows from Cyclic Groups of Same Order are Isomorphic.