theorem Th26: :: SPRECT_3:26

for f being non constant standard special_circular_sequence holds LeftComp f misses L~ f