theorem Th42: :: PSCOMP_1:42

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