Para un enunciado formula_6, con formula_2 variable, tenemos dos casos: