Entonces, o es formula_27, o es formula_4.