Lemma 7.8
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 7 Normalteiler/Charakterisierung/Fakt