Sei \(g^n\) ein Element der Untergruppe \(H\) mit \(n\geq 1\).
Dann gilt auch \((g^n)^m\in H\). Nun sind die
\((g^n)^m\) für verschiedene \(m\) paarweise verschieden;
denn wäre etwa \((g^n)^{m_1}=(g^n)^{m_2}\), wobei o.B.d.A.
\(m_1< m_2\) gilt, d.h. \((g^n)^{m_2-m_1}=e\), also
\(g^{nm_2-nm_1}=e\), d.h. \(g\) hat endliche Ordnung.
Das ist ein Widerspruch zur Unendlichkeit
der zyklischen Gruppe \(G\).