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