theorem Th34: :: GOBOARD7:34
for f being V8() standard special_circular_sequence holds len f > 4