TeX source:
f(f^{-1}(b))=b