Los enteros formula_11 son únicos a menos del orden.