そりゃそうですが
IUTは最初の方はあんまりおかしなところがないというのが共通認識なのかなあ
それとも
その辺におかしなところがあるなしにかかわらず
Th3.11→Th3.11.5→Cor3.12
が正しいと分かればあとはどうにか
よってたかってTh3.11の証明ができれば良いから
何とかなるんじゃないかという希望的観測も？