Finalmente, si formula_141 estuviera en formula_134, también estaría formula_159, lo que, nuevamente, es imposible.