153
правки
Изменения
Нет описания правки
<math>r_n</math>, последнему ненулевому члену этой последовательности.
'''Существование''' таких <math>r_1, r_2, ...</math>, то есть возможность деления с остатком <math>m</math> на <math>n</math> для любого целого <math>m</math> и целого <math>n\ne 0</math>, доказывается [[Математическая индукция|индукцией]] по ''m''.
'''Корректность''' этого алгоритма вытекает из следующих двух утверждений:
