>>567
>特に系3.12( IUTeich III) に属する不等式
sholzeさんが否定している系3.12はIUT IIIにあるんですね
コレを除くわけにはいかなさそう?