Beweis

Wegen der Stetigkeit von und der vorausgesetzten stetigen Differenzierbarkeit von existieren beide Integrale. Es sei eine Stammfunktion von , die aufgrund von Fakt existiert. Nach der Kettenregel hat die zusammengesetzte Funktion

die Ableitung . Daher gilt insgesamt