Multivariable Calculus 26 | Proof of the Implicit Function Theorem