TeX source:
f( f(1) ) = 1