theorem :: GOBOARD7:33

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