Con esta definición, la entrada formula_18 es el valor de la función en el par ordenado formula_19.