theorem Th11: :: JORDAN3:11

for f being FinSequence of (TOP-REAL 2)
for p being Point of (TOP-REAL 2) st len f >= 2 holds
Index ((f /. 1),f) = 1