Dado que formula_31, entonces se concluye que formula_32.