Si formula_15 entonces formula_16.