theorem Th6: :: SPPOL_2:6

for f, g being FinSequence of (TOP-REAL 2)
for i being Nat st i + 1 <= len f holds
LSeg ((f ^ g),i) = LSeg (f,i)