じゃあ最後に、区間縮小法でx∈S⇒{ x }∈Gだけあってるかどうか教えてください。