for f being V22() standard special_circular_sequence holds LeftComp f <> RightComp f