<?xml version="1.0"?>
<div class="add">

<a NAME="E1:4_1_1"/>
 <a href="jordan6.html#K8" title="JORDAN6:func.8">Upper_Arc</a> <font color="Maroon" title="c1">C</font> <a href="topreal1.html#R1" title="TOPREAL1:pred.1">is_an_arc_of</a>  <a href="pscomp_1.html#K25" title="PSCOMP_1:func.25">W-min</a> <font color="Maroon" title="c1">C</font>, <a href="pscomp_1.html#K29" title="PSCOMP_1:func.29">E-max</a> <font color="Maroon" title="c1">C</font>
 
<b>by </b><i><a class="ref" href="jordan6.html#D8" title="JORDAN6:def.8">JORDAN6:def 8</a></i>;<br/>
<b>hence </b><a NAME="E2:4_1_1"/>
 <a href="jordan6.html#K8" title="JORDAN6:func.8">Upper_Arc</a> <font color="Maroon" title="c1">C</font> is <a href="connsp_1.html#V2" title="CONNSP_1:attr.2">connected</a>
 <b>by </b><i><a class="ref" href="jordan6.html#T11" title="JORDAN6:th.11">JORDAN6:11</a></i>;<br/>


</div>
