,and the second is
*The derivative is injective if and only if there exists a continuously differentiable function on a neighborhood of such that near .

In the first case (when is surjective), the point is called a regular value. Since , the first case is equivalent to saying is not in the image of critical points (a critical point is a point such that the kernel of is nonzero). The statement in the first case is a special