Para todo formula_2 formula_3 formula_4 en formula_1 se cumple que