Cyclic Group is Simple iff Prime

Theorem
Let $G$ be a cyclic group.

Then $G$ is simple iff $G$ is a prime group.

Proof
Let $G$ be a cyclic group.

From Cyclic Group is Abelian it follows that $G$ is an abelian group.

The result follows from Abelian Group is Simple iff Prime.