theorem Th12: :: TREAL_1:12

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