Si formula_10 es un entero, formula_11