Изменения
→Алгоритм
* Ж) Если 1 нужно добавить к 0 и в предыдущем разряде 2, в следующем 2, то в предыдущем разряде установить 0, повторить алгоритм для следующего разряда.
* З) Если 1 нужно добавить к 0 и в предыдущем разряде не 2, установить в текущем разряде 1.
== Доказательство ==
Покажем, что инвариант не нарушится.