だから、IUTは理論であって、証明ではない、の言葉があるのだと思う。
最初は分かんなかったけど、証明でなくて、どうにか解くために工夫した、戦略が特長なのだと思う。