level sets of smooth functions on manifolds