>>514
α∈Ｑのときは簡単、そうでないときのみ
⊂
∀x∈α、∀y∈(-α)をとる、-yはαに含まれないから定義(1)よりx＜-y
よってx+y＜0よりx+y∈I0から
⊃
α+(-α)⊃I0が成り立たないと仮定すると、∃z∈I0 s.t. z=x+y、x∈α、y∈(-α)と書けない
ある u∈αに対して数列{u-nz} を考えるとこれらはすべてαに属する
（もし、kがu-nzがαに属さない最小のnとすると -(u-kz)∈(-α)、u-(k-1)z∈α）
これはα=Qを意味する