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;
