  The Implicit and Inverse Function Theorems are special cases of a general
Implicit/Inverse Function Theorem which can be easily derived from either
theorem. The theorems can thus be easily deduced from each other via the
generalized version.
