>>424
突っ込んでくれて有難う。

点の集合が線とした時に、1=0.999…であれば、１の隣接点はどの様の状態であるのか、
（点の集合が線であるという状態として）、また、１≠0.9999…としたときに、
１の隣接点は何であって、それが集まれば、何故線分になり得るのか、
を証明する方が難しいと思うのだが？