Si formula_13 entonces formula_14 si y sólo si: