Si formula_8 es un número entero entonces existe el número formula_9 que equivale a formula_8 y mantiene todas sus propiedades de entero.