Изменения

* Ж) Если 1 нужно добавить к 0 и в предыдущем разряде 2, в следующем 2, то в предыдущем разряде установить 0, повторить алгоритм для следующего разряда.

* З) Если 1 нужно добавить к 0 и в предыдущем разряде не 2, установить в текущем разряде 1.

== Доказательство ==

Покажем, что инвариант не нарушится.