theorem Th17: :: TOPREAL5:17

for C being non empty compact Subset of (TOP-REAL 2) st C is being_simple_closed_curve holds
E-bound C > W-bound C