theorem Th42: :: JORDAN4:42

for f being constant standard special_circular_sequence holds (LSeg (f,1)) /\ (LSeg (f,((len f) -' 1))) = {(f . 1)}