IMO

Sea $a_1,a_2,\ldots,a_n$ una secuencia de enteros con infinitos términos positivos e infinitos términos negativos. Supón que para cada entero positivo $n$, los números $a_1,a_2,\ldots,a_n$ tienen $n$ residuos distindos al dividirse entre $n$. Muestra que cada entero está exactamente una vez en la secuencia $a_1,a_2,\ldots,a_n$.