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 Th40;
then N-most X c= {(N-min X)} by RLTOPSP1:70;
hence N-most X = {(N-min X)} by ZFMISC_1:33; :: thesis: verum