# Implicit function theorem

### From Glossary

Suppose , where , and is in
smooth. Further, suppose we can partition the variables, ,
such that is m-dimensional with nonsingular at
. Then, there exists for which there is an
*implicit function*, , on the neighborhood,
such that
for all .
Further, is smooth with
.