Az {an} sorozatot a következőképpen értelmezzük: a1=3, an+1=an2-2. Bizonyítsuk be, hogy a sorozat bármely két elemének a legnagyobb közös osztója 1.