La función formula_5 (que toma como argumentos dos elementos de formula_2, y devuelve un elemento del cuerpo formula_3) debe satisfacer las siguientes condiciones: