Mittelwertsatz
Lagrange's theorem (group theory)