Thm3.11やCor3.12の理解に関してですが、加藤文元先生はIUTの完全理解者ではないんでしょ?