IUTで強いABC予想までは解けないということは、
IUTをも解体したそれこそ化物みたいな数学を
構築しないとそれを解けないということなんかな?