Mittelwertsatz der Integralrechnung/Fakt