Si formula_140 está en formula_134, también lo estaría