theorem Th5: :: JORDAN14:5

for f being non constant standard special_circular_sequence holds BDD (L~ f) is connected