Gruppentheorie (Algebra)/Satz von Lagrange/Fakt/Name/Inhalt