証明を戻して、>>89に改良を加えたものにします。
2つのパターンがずれるステップをsとおきます。
s-1でコラッツパターンが01、左端を伸ばすパターンが01の時は、
>>89の図の通り、s+1ステップでずれはなくなります。