Theorem:Let be a one-to-one function on an open interval , and let . If is differentiable at and if , then is differentiable at and

are those conditions fulfilled here?

now actually showing that the inverse function exists is another story. we have to cross that bridge before we use the above theorem