Sea una función formula_16.