theorem Th34: :: GOBOARD7:34

for f being constant standard special_circular_sequence holds len f > 4