南出論文をいくら読んでも
Cor3.12を前提として使ってるだけで
Cor3.12を証明してるわけではないから
IUTの正当性に関しては意味ない

望月の新論文読みなって
とくに§2.3から§2.4
ここが最重要点