for S being Subset of (TOP-REAL 2) holds (SpStSeq S) /. 3 = SE-corner S