theorem Th14: :: GOBRD14:14

for f being constant standard special_circular_sequence holds LeftComp f misses RightComp f