Si formula_15, entonces formula_16