関数 の逆関数を とすると，

の関係が成り立つ。

詳しくはPCサイトを参照してください。