Existence of Group of Finite Order

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

Then there exists at least one group whose order is $n$.

Proof
From Existence of Cyclic Groups, there exists a cyclic group whose order is $n$.

In particular, a concrete example of such a group is demonstrated in Roots of Unity under Multiplication form Cyclic Group.