theorem Th17: :: JORDAN7:17

for A being Subset of (TOP-REAL 2)
for p1, p2 being Point of (TOP-REAL 2) st A is_an_arc_of p1,p2 holds
ex g being Function of I[01],(TOP-REAL 2) st
( g is continuous & g is one-to-one & rng g = A & g . 0 = p1 & g . 1 = p2 )