theorem Th28: :: TOPREAL8:28

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