IUT劇は舞台を変えて同じ演目を繰り返す

LANA記者会見: 3.11⇒3.12の証明を理解するためにチームは１年半にわたり
望月氏とコミュニケーションを図りながら多大な努力を重ねてきましたが、
特定のポイントがどうしても克服できていません

望月スライド: 難しいとされている個所は実はとても簡単かつ初等的です
"The logic of (supposedly difficult portions of) IUT
is in fact very simple and elementary."