Assume the needed derivatives exist continuously and on a neighborhood, so the inverse function theorem provides a local inverse. Put , , and . The chain rule gives , soDifferentiate once more:Thus the first three derivatives of an inverse function areAll forward derivatives on the right are evaluated at the corresponding value .