for C being Simple_closed_curve holds South_Arc C c= C