おまえら何今更驚いてんの？
モッチーが証明したABC予想は従来のとは少し異なるABC予想であって
IU理論は従来のABC予想の証明には有効ではないことは
ワークショップが始まる前から周知に知られていた事実だぞ？

今回初めて知られたことは、IU理論の新しい応用は今のところないってことを本人が断言したことだ。