theorem Th21: :: SPRECT_1:21

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