3622
правки
Изменения
→Инвариант с нулем
Проблемой может оказаться появление двух последовательных двоек, при этом перое правило может породить
тройку. То есть недопустима следующая ситуация : <tex>(\dotsc 22\dotsc) \overset{Inc} {\longmapsto} (\dotsc 30\dotsc)</tex>. В свою очередь такая ситуация получается из этой : <tex>(\dotsc 212\dotsc) \overset{Inc} {\longmapsto} (\dotsc 220\dotsc)</tex>.
Причем количество единиц между двойками может быть любое, в итоге это приведет к появлению тройки.
Однако если между любой парой двоек всегда будет находится хотя бы один
