Let be smooth functions and define by . Then, so that for some regular value .

For instance, let and consider the equation . Of course, there are a lot of solutions, more precisely . But, considering the domain , and because , it is easy to compute that .

]]>