Si formula_83 y formula_102 entonces formula_103.