遠アーベルとIUTTが等価でない以上、IUTTでABC予想を証明してもなんの価値もないと思うのだけれど。
新しく作った数学体系に既存数学の未解決問題を持ち込む意味は何?