Lagrange's theorem
Cauchyscher Mittelwertsatz