theorem Th8: :: JORDAN3:8

for f being FinSequence of (TOP-REAL 2)
for p being Point of (TOP-REAL 2) st p in L~ f holds
( 1 <= Index (p,f) & Index (p,f) < len f )