Mittelwertsatz
Lagrange's theorem states that for a finite group "G" and a subgroup "H",