The Implicit Function Theorem door