Imaginemos que formula_4 es una función en la variedad.