Cyclic Group is Abelian/Proof 2

Theorem
A cyclic group is always abelian.

Proof
We have that Integer Addition forms Abelian Group.

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