(b) Si formula_4 y formula_5, entonces formula_6.