コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

コラッツ予想 Coq

コラッツ予想の証明にギャップがあったので修正しました。
まだpre版で、日本語と英語が混ざってて気持ち悪いですが、
良かったら見てみてください。
Coqも使っています。