Como formula_11 es una sumersión suryectiva, por el teorema de la función inversa obtenemos que formula_12 es una subvariedad incrustada y cerrada de formula_13 y hereda su estructura diferenciable.