let C be non empty compact Subset of (TOP-REAL 2); :: thesis: ( SW-corner C = SE-corner C implies C is vertical )
assume SW-corner C = SE-corner C ; :: thesis: C is vertical
then W-bound C = E-bound C by SPPOL_2:1;
hence C is vertical by Th15; :: thesis: verum