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