Seien \((G,\circ)\) und \((H,\bullet)\) Gruppen.
Sei \(f:G\to H\) ein Gruppenisomorphismus zwischen \((G,\circ)\) und \((H,\bullet)\).
Sei \(g\in G\) ein Erzeuger von \((G,\circ)\).
Sei \(h\in H\).
Sei \(g'\in G\) mit \(f(g') = h\).
Wegen \(g'=\dots\) ist \(h = \dots\).