Que $M$ ser un $n$-dimensional múltiple orientado. Que $f:M\to\mathbb{R}$ es una función lisa. Supongamos que $c$ es un valor regular de $f$ $f^{-1}(c)$ no vacío. Muestran que $f^{-1}(c)$ es una subvariedad orientada a regular de $M$.
Por thoerem fila constante, sé que $f^{-1}(c)$ es un $(n-1)$-dimensional submafold regular de $M$, pero ¿cómo demostrar que es orientable?