theorem Th33: :: GOBRD14:33

for g being constant standard clockwise_oriented special_circular_sequence holds not LeftComp g is bounded