Ist ein Untergruppe von vom Index 2, d.h. es gibt 2 Links- bzw. Rechtsnebenklasse.
Für die Nebenklassen die die 1, das neutrale Element der Gruppe, enthalten, gilt
Die verbleibende Links- bzw. Rechtsnebenklasse muß daher gleich
sein.
Links- und Rechtsnebenklassen sind also identisch, und daher ist ein Normalteiler von .