theorem Th19: :: JORDAN21:19

for C being Simple_closed_curve holds W-bound C = W-bound (Lower_Arc C)