theorem Th8: :: SPPOL_2:8

for f, g being FinSequence of (TOP-REAL 2) st not f is empty & not g is empty holds
LSeg ((f ^ g),(len f)) = LSeg ((f /. (len f)),(g /. 1))