Tudjuk, hogy az $a_0$, $a_1$, $\text{...}$, $a_n$, $\text{...}$ végtelen sorozat tagjai pozitívak, $a_0=1$, és tetszőleges $n$ természetes számra $a_{n+1}=a_{n-1}-a_n$ teljesül.
Bizonyítsuk be, hogy ezzel a sorozat tagjai egyértelműen meg vannak határozva.