TeX source:
f'(f^{-1}(x))\neq 0