Upper_Arc C is_an_arc_of W-min C, E-max C by JORDAN6:def 8;
hence Upper_Arc C is connected by JORDAN6:10; :: thesis: verum