theorem Th36:
  UBD L~g = LeftComp g
proof
  UBD L~g is_outside_component_of L~g & LeftComp g is_outside_component_of
  L~g by Th34,JORDAN2C:68;
  hence thesis by JORDAN2C:119;
end;
