theorem Th74: :: JORDAN2C:90

for D being non empty compact non horizontal non vertical Subset of (TOP-REAL 2) holds not LeftComp (SpStSeq D) is bounded