for n being Element of NAT
for C being non empty Subset of (TOP-REAL n)
for E being Subset of I(01) st ex p1, p2 being Point of I[01] st
( p1 < p2 & E = [.p1,p2.] ) & I(01) | E,(TOP-REAL n) | C are_homeomorphic holds
ex s1, s2 being Point of (TOP-REAL n) st C is_an_arc_of s1,s2