Suponiendo la condición de que formula_12, definimos: