Cyclic Group is Abelian

Theorem
A cyclic group is always abelian.