theorem Th2: :: TOPREAL5:2

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