Totale Differenzierbarkeit/Mittelwertabschätzung/Fakt/Beweis

Beweis

Bei ist nichts zu zeigen, sei also . Wir betrachten die Abbildung

Da nach Voraussetzung ist, ist dies eine differenzierbare Kurve in . Daher gibt es nach der Mittelwertabschätzung für Kurven ein mit