Aquí el conjunto sobre el que se plantea el problema es conjunto de los números enteros formula_12, la condición es que se cumpla la anterior igualdad, y formula_13 es el único número que la satisface (puede verse que formula_13= 1).