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 Th32:
  Cl RightComp g is compact
proof
  Cl RightComp SpStSeq L~g = product((1,2)-->([.W-bound L~SpStSeq L~g,
  E-bound L~SpStSeq L~g.], [.S-bound L~SpStSeq L~g,N-bound L~SpStSeq L~g.]))
by Th28;
  then
A1: Cl RightComp SpStSeq L~g is compact by TOPREAL6:78;
  RightComp g c= RightComp SpStSeq L~g by Th31;
  hence thesis by A1,COMPTS_1:9,PRE_TOPC:19;
end;
