(b) Si formula_82 y formula_83, entonces formula_84.