Theorem that, under a mild condition on the partial derivatives, the set of zeros of a system of equations is locally the graph of a function