El resultado es formula_12.