Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Gruppentheorie (Algebra)/Satz von Lagrange/Fakt/Faktreferenznummer