Sea $m$ un entero donde $|m|\ge 2$ . Sea $a_1,a_2,\cdots$ una secuencia de enteros tal que $a_1,a_2$ no son ambos cero, y para cualquier entero positivo $n$ , $a_{n+2}=a_{n+1}-ma_n$ . Demuestra que si los enteros positivos $r>s\ge 2$ satisfacen $a_r=a_s=a_1$ , entonces $r-s\ge |m|$ .