*Suppose that <math>f:R^n \rightarrow R^m</math> is a differentiable function. Then <math>f^{-1}(y)</math> is a smooth manifold if ''y'' is a regular value of ''f''. | *Suppose that <math>f:R^n \rightarrow R^m</math> is a differentiable function. Then <math>f^{-1}(y)</math> is a smooth manifold if ''y'' is a regular value of ''f''. |