theorem Th50: :: PSCOMP_1:50

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