Mittelwertsatz
Generalization of Lagrange's theorem.