$k$ es un entero. Definimos la secuencia $\{a_n\}_{n=0}^{\infty}$ de la siguiente manera: \[a_0=0,\ \ \ a_1=1,\ \ \ a_n=2ka_{n-1}-(k^2+1)a_{n-2}\ \ (n \geq 2)\] $p$ es un número primo tal que $p\equiv 3(\mbox{mod}\ 4)$ a) Demuestre que $a_{n+p^2-1}\equiv a_n(\mbox{mod}\ p)$ b) Demuestre que $a_{n+p^3-p}\equiv a_n(\mbox{mod}\ p^2)$