Cyclic Group is Abelian/Proof 2

Theorem
Let $G$ be a cyclic group.

Then $G$ is abelian.

Proof
We have that Integers under Addition form Abelian Group.

The result then follows from combining:
 * Epimorphism from Integers to Cyclic Group
 * Epimorphism Preserves Commutativity.