formula_12 es una función entera.