theorem Th22: :: SPRECT_1:22

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