Si formula_5, entonces formula_6.