8 Sea $k$ un entero positivo y $a_1,a_2,\dots$ una sucesión infinita de enteros positivos tal que \[a_ia_{i+1} \mid k-a_i^2\] para todo entero $i \ge 1$. Demuestre que existe un entero positivo $M$ tal que $a_n=a_{n+1}$ para todo entero $n \ge M$.