Implicit Function Theorem Definition