theorem Th6: :: GOBRD11:6

for f being non constant standard special_circular_sequence holds (L~ f) ` <> {}