theorem Th63: :: JORDAN2C:79

for n being Nat
for R being Subset of (TOP-REAL n)
for p, q being Point of (TOP-REAL n) st R is connected & R is open & p in R & q in R & p <> q holds
ex f being Function of I[01],(TOP-REAL n) st
( f is continuous & rng f c= R & f . 0 = p & f . 1 = q )