Let be a symmetric matrix over .
Show that the surface is an dimensional submanifold of the 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.