Subgroup Generated by Infinite Order Element is Infinite

Theorem
Let $G$ be a group.

Let $a \in G$ be of infinite order.

Then $G$ is of infinite order.

Proof
Suppose $G$ was of finite order.

Then from Element of Finite Group is of Finite Order, $a \in G$ is of finite order.

The result follows by Rule of Transposition.