theorem Th34: :: BORSUK_6:34

for a, b, c, d being Real st a < b & c <= d holds
L[01] (a,b,c,d) is continuous Function of (Closed-Interval-TSpace (a,b)),(Closed-Interval-TSpace (c,d))