Proof. Prove that (f^(-1))'(y) = 1/f'(f^(-1)(y)) using the identity and the chain rule