En el caso en que formula_27, entonces es formula_6, luego formula_32.