ライトエッジを12個づつに区切ったとき8個以上1が入らないことが言えると
なぜコラッツ予想が証明されたことになるの?

今はそこで悩んでる。