もしかしてIUTTってリーマン予想に関していえば、
解けるとしても、将来最短で解ける理論よりも、だいぶ遠いところまで行って
しまっていて、まわりくどい解法ってことになるとか?