Entonces el problema consiste en hallar la función formula_4 que las satisface.