theorem :: GOBRD14:35

for g being non constant standard clockwise_oriented special_circular_sequence holds RightComp g is_inside_component_of L~ g