theorem Th17: :: TOPALG_5:17

for r, s being Real st r <= s holds
Closed-Interval-TSpace (r,s) is locally_connected