One of the major applications of Implicit Function Theorem is the lesson it teaches:
Locally, Manifold Theory = Linear Algebra.
That is, locally, we can perform our calculus as if it is linear algebra. Solving simultaneous equations, discussing about linear independence of coordinates, basis set and mapping from one manifold to another can be viewed as linear transformations. Discuss the invertabilityinvertibility of functions as if they are linear transformations. InfactIn fact by DarbouxDarboux's theorem, in Symplectic manifold theory the linear algebra aspects isare more prominent.