How to prove that the implicit function theorem implies the inverse function theorem?