theorem :: GOBOARD7:33

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