Considerando el sistema formula_12 con la condición de que formula_13.