Egy számsorozat első két tagja $a_1=1$, $a_2=1$, és minden további tagja az előtte álló két tag összege: $a_k=a_{k-1}+a_{k-2}$, $k\ge 3$, egész.
Bizonyítandó, hogy nincs a sorozatnak olyan tagja, mely $13$-mal osztva $4$-et ad maradékul.