theorem :: GOBOARD7:33

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