theorem Th16: :: TOPREAL5:16

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