左端パターンとコラッツパターンのずれが有限だとコラッツの予想が証明されたことになるの?
やっぱまだよくわからん。