
theorem Th37:
  for n being Element of NAT, D being Subset of TOP-REAL n, p1, p2
being Point of TOP-REAL n st D is_an_arc_of p1, p2 holds I[01], (TOP-REAL n) |
  D are_homeomorphic
proof
  let n be Element of NAT, D be Subset of TOP-REAL n, p1, p2 be Point of
  TOP-REAL n;
  assume D is_an_arc_of p1, p2;
  then
  ex f being Function of I[01], (TOP-REAL n)|D st f is being_homeomorphism
  & f.0 = p1 & f.1 = p2 by TOPREAL1:def 1;
  hence thesis by T_0TOPSP:def 1;
end;
