>>547
まあ、1点だけ残る例なら >>535 でr>0とすれば構成できるけど、
必ず1点は残ることをきちんと証明しようとすると、
非可算無限を扱うのでいろいろ工夫がいりそう

自明に思えることがなかなかうまく証明できないという