theorem Th34: :: GOBRD14:34

for g being constant standard clockwise_oriented special_circular_sequence holds LeftComp g is_outside_component_of L~ g by GOBOARD9:def 1, Th33;