Mittelwertsatz
Cosets and Lagrange's theorem.