for C being compact non vertical Subset of (TOP-REAL 2) holds LMP C <> E-max C