theorem Th15: :: TOPREAL3:15

for p, p1, q being Point of (TOP-REAL 2)
for f being FinSequence of (TOP-REAL 2)
for i, j being Nat st f = <*p,p1,q*> & i <> 0 & j > i + 1 holds
LSeg (f,j) = {}