Mittelwertsatz
Camille Jordan finally proved Lagrange's theorem for the case of any permutation group in 1861.