Notemos que si formula_139 entonces formula_140