>>59
Uが空でなければa∈Uが存在するから
Uの元からなる点列{a,a,a,a,....}が存在する