Differential of the Inverse Diffeomorphism