theorem Th58: :: PSCOMP_1:58

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