More precisely, given a system of equations (often abbreviated into ), the theorem states that, under a mild condition on the partial derivatives (with respect to the s) at a point, the variables are differentiable functions of the in some neighborhood of the point.