<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T4"><span class="comment"><font color="firebrick">:: E_SIEC:4</font></span><br/></a><div class="add"> <a href="e_siec.html#G1" title="E_SIEC:aggr.1">G_Net</a>(# <a href="xboole_0.html#K1" title="XBOOLE_0:func.1">{}</a>,<a href="xboole_0.html#K1" title="XBOOLE_0:func.1">{}</a>,<a href="xboole_0.html#K1" title="XBOOLE_0:func.1">{}</a> #) is   <a href="e_siec.html#NM2" title="E_SIEC:NM.2">e_net</a> <span class="kw">by</span> <span class="lab"><a class="ref" href="e_siec.html#T2" target="_self" onmouseover="rs('e_siec/T2')" onmouseout="rh()">Th2</a></span>;<br/></div></div>
