Seien
Teilmengen und seien
und
Funktionen mit f ( D ) ⊆ E {\displaystyle {}f(D)\subseteq E} . Es sei f {\displaystyle {}f} in a {\displaystyle {}a} differenzierbar und g {\displaystyle {}g} sei in b := f ( a ) {\displaystyle {}b:=f(a)} differenzierbar. Dann ist auch die Hintereinanderschaltung
in a {\displaystyle {}a} differenzierbar mit der Ableitung