theorem :: GOBOARD9:22

for f being non constant standard special_circular_sequence holds GoB (Rev f) = GoB f by Lm1;