theorem :: GOBOARD7:32

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