＞＞300その本によりますと不等式を定義するのにa<b⇔a-b∈Ｐとやっているので切断取れません。