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