論文が難解であるだけならば、何度も読めば理解できるはずだが、
IUTの論文に関してはここどう見てもギャップがあるんじゃねどう解決してんの？って思うところで皆詰まってしまうと

誰かが解決しようにもそのギャップをうまく解消できないから前に進みようがない

困り果ててモッチーと弟子に問い合わせると自明であると返される

これじゃ証明されてないって言われるのも当然なのでは