theorem Th18:
  a <= b implies the carrier of Closed-Interval-TSpace(a,b) = [. a,b .]
    by Th10;
