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 Th33:
  LeftComp g is non bounded
proof
  Cl RightComp g is compact by Th32;
  then RightComp g is bounded by PRE_TOPC:18,RLTOPSP1:42;
  then
A1: L~g \/ RightComp g is bounded by TOPREAL6:67;
  L~g \/ RightComp g \/ LeftComp g = the carrier of TOP-REAL 2 by Th15;
  hence thesis by A1,TOPREAL6:66;
end;
