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 Th109;
then E-most X c= {(E-min X)} by RLTOPSP1:71;
hence E-most X = {(E-min X)} by ZFMISC_1:39; :: thesis: verum