theorem Th2: :: SPPOL_2:2

for f being FinSequence of (TOP-REAL 2)
for i, j being Nat st i + j = len f holds
LSeg (f,i) = LSeg ((Rev f),j)