>>676
言わんとすることは分からなくも無いが
>∃S,a∈S=D(0,0,r)⊂D(0,0,√2)
がおかしい