für beliebige f,g,h∈Abb(R,R){\displaystyle {}f,g,h\in \operatorname {Abb} \,{\left(\mathbb {R} ,\mathbb {R} \right)}}.
und es sei
die identische Abbildung, also
Dann ist einerseits
und andererseits
Somit ist