for C being Simple_closed_curve holds C = Segment ((W-min C),(W-min C),C)