Si formula_3, entonces formula_11.