theorem :: JORDAN22:40

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