theorem Th15: :: SPPOL_2:15

for f being FinSequence of (TOP-REAL 2)
for p being Point of (TOP-REAL 2)
for i being Nat st 1 <= i & i + 1 <= len f & p in LSeg ((f /. i),(f /. (i + 1))) holds
p in L~ f