Quiere decir que existen x, y tal que formula_57 y formula_58.