Aufgrund von Fakt kann man

${\displaystyle f(x)=f(a)+f'(a)(x-a)+r(x)(x-a)}$

und

${\displaystyle g(y)=g(f(a))+g'(f(a))(y-f(a))+s(y)(y-f(a))}$

${\displaystyle {}{\begin{aligned}g(f(x))&=g(f(a))+g'(f(a))(f(x)-f(a))+s(f(x))(f(x)-f(a))\\&=g(f(a))+g'(f(a)){\left(f'(a)(x-a)+r(x)(x-a)\right)}+s(f(x)){\left(f'(a)(x-a)+r(x)(x-a)\right)}\\&=g(f(a))+g'(f(a))f'(a)(x-a)+{\left(g'(f(a))r(x)+s(f(x))(f'(a)+r(x))\right)}(x-a).\end{aligned}}}$

Die hier ablesbare Restfunktion

${\displaystyle {}t(x):=g'(f(a))r(x)+s(f(x))(f'(a)+r(x))\,}$

ist stetig in ${\displaystyle {}a}$ mit dem Wert ${\displaystyle {}0}$.