CGMO 2019 Problem 5

Let $p$ be a prime number such that $p\mid (2^{2019}-1) .$ The sequence $a_1,a_2,...,a_n$ satisfies the following conditions: $a_0=2, a_1=1 ,a_{n+1}=a_n+\frac{p^2-1}{4}a_{n-1}$ $(n\geq 1).$ Prove that $p\nmid (a_n+1),$ for any $n\geq 0.$