En otras palabras, formula_3 toma un argumento del tipo formula_4 y retorna una función del tipo formula_5.