theorem :: PSCOMP_1:64

for P being Subset of (TOP-REAL 2) st S-min P = W-min P holds
S-min P = SW-corner P