theorem Th9: :: JORDAN3:9

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