Describir: Un teorema de inmersion para variedades algebraicas lisas