theorem Th41: :: JORDAN:41

for T being non empty TopSpace
for a being Point of T holds I[01] --> a is Path of a,a