IUTで既知の数学問題を証明してみてほしい
ABC予想でなく、既に別の方法で証明されたいくつかの予想をIUTで