>>511 Uを[0,1]の任意の回避服とする。

ここからわかりません。

カントールの区間縮小法を用いて、背理法を用いた証明ならまだ
できます