Sei
die Gruppe aus Bsp. 398). Man bestimme die vom Element
erzeugte Untergruppe sowie deren Nebenklassen in
.


ist assoziativ, da die Assoziativität in ganz
gilt.











Damit ist bewiesen, dass
eine Gruppe ist, welche von
erzeugt wurde.





Da die Restklassenmultiplikation kommumativ ist, entspricht die Linksnebenklasse der Rechtsnebenklasse.
ist Normalteiler von