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