7. The Implicit Function Theorem