Si formula_12 entonces formula_13