for ra, rb being Real st ra <= rb holds
[#] (Closed-Interval-TSpace (ra,rb)) is connected