reserve i, j, n for Nat,
  f for non constant standard special_circular_sequence,
  g for clockwise_oriented non constant standard special_circular_sequence,
  p, q for Point of TOP-REAL 2,
  P for Subset of TOP-REAL 2,
  C for compact non vertical non horizontal Subset of TOP-REAL 2,
  G for Go-board;
reserve f for clockwise_oriented non constant standard
  special_circular_sequence;

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;
