One of the major applications of Implicit Function Theorem IMHO is the lesson it teaches:
Locally, Manifold Theory = Linear Algebra.
That is, we can perform our calculus as if it is linear algebra. Solving simultaneous equations, discussing about linear independence of coordinates, basis set etc. Infact by Darboux theorem, in Symplectic manifold theory the linear algebra aspects is more prominent.