This result establishes local Inverse Theorem for the Matrix Exponential and Power-Series Logarithm. It identifies a precise structural fact about Lie groups that is used to move between group operations, smooth manifold structure, and infinitesimal data.