<?xml version="1.0"?>
<div><span class="kw">theorem </span><span class="lab"><font color="Green" title="E3">d3</font></span>: <a NAME="T4"><span class="comment"><font color="firebrick">:: GRAPH_3A:4</font></span><br/></a><div class="add"> for <font color="Olive" title="b1">v</font> being   <a href="graph_3.html#NM2" title="GRAPH_3:NM.2">Vertex</a> of <a href="graph_3a.html#K5" title="GRAPH_3A:func.5">KoenigsbergBridges</a>  st <font color="Olive" title="b1">v</font> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 3 holds <br/> <a href="graph_1.html#K10" title="GRAPH_1:func.10">Degree</a> <font color="Olive" title="b1">v</font> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 3</div></div>
