Sea $(a_n)_{n\in \mathbb N}$ la sucesión de enteros definida recursivamente por $a_1 = a_2 = 1, a_{n+2} = 7a_{n+1} - a_n - 2$ para $n \geq 1$. Demuestre que $a_n$ es un cuadrado perfecto para todo $n.$