let g be non constant standard clockwise_oriented special_circular_sequence; :: thesis: UBD (L~ g) = LeftComp g
A1: UBD (L~ g) is_outside_component_of L~ g by JORDAN2C:76;
LeftComp g is_outside_component_of L~ g by Th44;
hence UBD (L~ g) = LeftComp g by A1, JORDAN2C:127; :: thesis: verum