theorem Th34: :: PSCOMP_1:34

for X being non empty compact Subset of (TOP-REAL 2) holds
( W-min X in W-most X & W-max X in W-most X )