Es sei

${\displaystyle f\colon [a,b]\longrightarrow \mathbb {R} }$

eine stetige Funktion und es sei

${\displaystyle \varphi \colon [c,d]\longrightarrow [a,b],\,s\longmapsto \varphi (s),}$

eine bijektive, stetig differenzierbare Funktion.

Dann gilt