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