theorem Th10: :: JORDAN3:10

for f being FinSequence of (TOP-REAL 2)
for p being Point of (TOP-REAL 2) st p in LSeg (f,1) holds
Index (p,f) = 1