ちょっと言い方がおかしいか
任意の有限長の01列(長さn)に対してコラッツ展開の初項から第n項が一致する整数が存在する
はいえるの?

なら通じるかな