theorem Th32: :: GOBRD14:32

for g being non constant standard clockwise_oriented special_circular_sequence holds Cl (RightComp g) is compact