theorem :: GOBOARD9:24

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