theorem Th40: :: PSCOMP_1:40

for X being non empty compact Subset of (TOP-REAL 2) holds N-most X c= LSeg ((N-min X),(N-max X))