Existence of Cyclic Group of Order n

Theorem
Let $n \in \N: n \ge 1$.

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

Proof
Existence follows from Additive Group of Integers Modulo m.

Uniqueness follows from Cyclic Groups Same Order Isomorphic.