theorem Th15: :: SPRECT_1:15

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