theorem Th14: :: SPRECT_3:14

for C being Subset of (TOP-REAL 2) holds LSeg ((NW-corner C),(NE-corner C)) c= L~ (SpStSeq C)