Conjugate the coordinate derivations by the formal automorphism. Their coefficients form the inverse Jacobian, which converges by the adjugate formula and reciprocal convergence. The factorial estimate for these vector fields bounds the Taylor coefficients of each inverse coordinate geometrically.