reserve i,j,k,n,m for Nat;
reserve p,q for Point of TOP-REAL 2;
reserve G for Go-board;
reserve C for Subset of TOP-REAL 2;

theorem Th15:
  for C being non empty compact Subset of TOP-REAL 2 holds N-min C
  in LSeg(NW-corner C,NE-corner C)
proof
  let C be non empty compact Subset of TOP-REAL 2;
A1: N-most C c= LSeg(NW-corner C,NE-corner C) by XBOOLE_1:17;
  N-min C in N-most C by PSCOMP_1:42;
  hence thesis by A1;
end;
