Esto es, si formula_6 es una