Si formula_38, entonces formula_41, entonces formula_42.