Az $\left\{a_n\right\}$ sorozatot a következőképpen értelmezzük: $a_1=3$, $a_{n+1}=a_n^2-2$. Bizonyítsuk be, hogy a sorozat bármely két elemének a legnagyobb közös osztója 1.