Дана последовательность натуральных чисел $a_1, a_2, a_3, ...,$ члены которой при каждом натуральном $i \ge 3$ удовлетворяют равенству \[ a_{i+1} = a_i + \text{НОД}(a_{i-1}, a_{i-2}). \] Докажите, что существуют такие натуральные числа $N$ и $M,$ для которых при всех $n \ge N$ верно равенство $a_{n+1} - a_n = M.$