Deje $a_1,a_2,\dots$ ser una secuencia de enteros positivos tal que $m+n$ divide $a_m+a_n$ todos los $m<n$. Es necesario que el $n$ divide $a_n$ todos los $n$?
Ejemplos de este tipo de secuencia es $a_n=kn$ para algún entero positivo $k$. De $m+n$ dividiendo $a_m+a_n$ vemos que si arreglamos $a_1,\dots,a_{n-1}$, $a_n$ es fijo modulo $n+1,n+2,\dots,2n-1$.