General Implicit Function Theorem