let X be non empty compact Subset of (TOP-REAL 2); :: thesis: ( N-min X = N-max X implies N-most X = {(N-min X)} )
assume N-min X = N-max X ; :: thesis: N-most X = {(N-min X)}
then N-most X c= LSeg (N-min X),(N-min X) by Th99;
then N-most X c= {(N-min X)} by RLTOPSP1:71;
hence N-most X = {(N-min X)} by ZFMISC_1:39; :: thesis: verum