>>97
任意のa∈Qに対して
{x∈Q;x≦0} ⊂ S(a) ⊂ Q
だから自明