Si formula_139 está en formula_134 tenemos que formula_151 estaría en formula_134, pero formula_153, lo que es imposible.