<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T1"><span class="comment"><font color="firebrick">:: GLIB_000:1</font></span><br/></a><div class="add">(  <a href="glib_000.html#K1" title="GLIB_000:func.1">VertexSelector</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 1 &amp;  <a href="glib_000.html#K2" title="GLIB_000:func.2">EdgeSelector</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 2 &amp;  <a href="glib_000.html#K3" title="GLIB_000:func.3">SourceSelector</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 3 &amp;  <a href="glib_000.html#K4" title="GLIB_000:func.4">TargetSelector</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 4 ) ;<br/></div></div>
