theorem Th36: :: SPRECT_1:36

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