Es seien I {\displaystyle {}I} und J {\displaystyle {}J} zwei reelle Intervalle, es sei
eine in s 0 ∈ I {\displaystyle {}s_{0}\in I} differenzierbare Funktion und es sei
eine in t 0 = h ( s 0 ) {\displaystyle {}t_{0}=h(s_{0})} differenzierbare Kurve in einen euklidischen Vektorraum V {\displaystyle {}V} . Dann ist auch die zusammengesetzte Kurve
in s 0 {\displaystyle {}s_{0}} differenzierbar und es gilt