IUTはABC予想証明以外に使い道がないらしいが大丈夫なのか?