Значениями переменных

и

являются натуральные числа. Пусть

и

тогда в результате работы следующего алгоритма:
1. Если

, то работа алгоритма закончена; иначе выполняется пункт 2;
2. Если

, то переменной

присваивается значение

; иначе переменной

присваивается значение

;
3. Выполняется пункт 1 данного алгоритма.
переменная

примет значение равное .