Implicit Function and Inverse Mapping Theorem