
theorem Th34:
  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)
proof
  let a, b, c, d be Real;
  assume a < b & c <= d;
  then L[01]((#)(c,d),(c,d)(#)) is continuous Function of
Closed-Interval-TSpace(0,1 ),Closed-Interval-TSpace(c,d) & P[01](a,b,(#)(0,1),(
  0,1)(#)) is continuous Function of Closed-Interval-TSpace(a,b),
  Closed-Interval-TSpace(0,1) by TREAL_1:8,12;
  hence thesis;
end;
