Sean $a$ y $b$ enteros no negativos. Considere una secuencia $s_1$ , $s_2$ , $s_3$ , $. . .$ tal que $s_1 = a$ , $s_2 = b$ , y $s_{i+1} = |s_i - s_{i-1}|$ para $i \ge 2$ . Demuestre que existe algún $i$ para el cual $s_i = 0$ .