reserve S for Subset of TOP-REAL 2,
  C,C1,C2 for non empty compact Subset of TOP-REAL 2,
  p,q for Point of TOP-REAL 2;

theorem Th13:
  W-min C in C & W-max C in C
proof
A1: W-min C in W-most C by PSCOMP_1:34;
A2: W-max C in W-most C by PSCOMP_1:34;
  W-most C c= C by XBOOLE_1:17;
  hence thesis by A1,A2;
end;
