Cela ne justifie pas qu'au premier terme, cela démontre que chaque fois qu'un terme (Un) est égal à 2, son suivant (Un+1) est égal à 1 et chaque fois qu'un terme (Un) est égal à 1, son suivant (Un+1) est égal à 2.
Le premier terme U0 = 2 donc le suivant =1 et le suivant =2 ... etc...