Si formula_28, entonces formula_29 o formula_30, de lo que solo puede ser formula_29.