Los enteros formula_19 son únicos.