for C being Simple_closed_curve holds
( not LMP C in Upper_Arc C or not UMP C in Upper_Arc C )