theorem Th30: :: REVROT_1:30

for f being circular s.c.c. FinSequence of (TOP-REAL 2) st len f > 4 holds
(LSeg (f,((len f) -' 1))) /\ (LSeg (f,1)) = {(f /. 1)}