Mutassuk meg, hogy ha az $a_1$, $a_2$, $\text{...}$ számok nem mind nullák és kielégítik az $a_{n+2}=\left|a_{n+1}\right|-a_n$ összefüggést, akkor valahonnét kezdve periodikusak és a legkisebb periódusuk $9$.