theorem Th32: :: SPRECT_1:32

for D2 being non empty compact non horizontal Subset of (TOP-REAL 2) holds S-bound D2 < N-bound D2