Mittelwertsatz
This provides a partial converse to Lagrange's theorem giving information about how many subgroups of a given order are contained in "G".