theorem Th21: :: GOBOARD9:23

for f being non constant standard special_circular_sequence holds RightComp f = LeftComp (Rev f)