＞数学として、ちゃんとIUTを潰したら、$1 million（1.4億円）だぜ！
　Corollary 3.12が偽だと証明したら、$1 million（1.4億円）
　という意味か？

　それならIUTと全く無関係な数学の問題になるね
　ま、$1 millionなんてハシタ金どうでもいいが、
　Corollary 3.12が偽なら、それを証明するのは数学として意味がある