theorem Th8: :: TREAL_1:8

for a, b being Real st a <= b holds
for t1, t2 being Point of (Closed-Interval-TSpace (a,b)) holds L[01] (t1,t2) is continuous