In the implicit function theorem, we take a C^1 function F:R^n x R^m --> R^m and given a condition on the partial derivatives at a point (x_0,y_0) such that F(x_0,y_0)=0, we conclude that the relation F(x,y)=0 implicitely defines a function f(x)=y in a nbh of x_0. I.e. the last m variables are...