There is one catch to all the explanations given above where we computed derivatives of inverse functions. To write something like {{MATH_7}} we need to know that the function {{MATH_8}} {{CMD_9}}has{{CMD_10}} a derivative. The {{CMD_11}}Inverse Function Theorem{{CMD_12}} guarantees this.