Cyclic Group is Abelian

Theorem
Let $G$ be a cyclic group.

Then $G$ is abelian.