para todo formula_2 en el dominio de formula_3.