Let $(a_n)_{n\ge0}$ be a sequence of positive integers such that $a^2_n$ divides $a_{n-1}a_{n+1}$, for all $n \ge 1$. Prove that if there exists an integer $k \ge 2$ such that $a_k$ and $a_1$ are relatively prime, then $a_1$ divides $a_0$. (Malik Talbi)