The differential of the smooth function is
Since , never vanishes on the locus so has full rank.
That is, all points of M are regular points. Hence M is a n-1 dimensional sub-manifold.
The differential of the smooth function is
Since , never vanishes on the locus so has full rank.
That is, all points of M are regular points. Hence M is a n-1 dimensional sub-manifold.