>>862
854により、開区間によって分断されていない区間は無い。Eのどのような区間を見ても、
”区間[0,1]における無理点と有理点のあいだにある関係”
が成り立たない。君は835で
＞Eはある区間(a,b)上で、稠密な可算集合（D^cとする）の(a,b)に対する補集合になる。
このように書いている。これは(a,b)∩E^cが可算集合であることを意味する。しかし、
854により、どのような(a,b)を取っても、こうはならない。