theorem :: GOBOARD7:32

for f being constant standard special_circular_sequence holds len (GoB f) > 1