Powers of Infinite Order Element

Theorem
Let $G$ be a group whose identity is $e$.

Let $a \in G$ have infinite order in $G$.

Then:
 * $\forall m, n \in \Z: m \ne n \implies a^m \ne a^n$

Proof
Let $m, n \in Z$. Then:

The result follows from transposition.