theorem Th14: :: GOBRD14:14

for f being V8() standard special_circular_sequence holds LeftComp f misses RightComp f