<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T18"><span class="comment"><font color="firebrick">:: FIELD_10:18</font></span><br/></a><div class="add">(  <a href="hurwitz.html#NK3" title="HURWITZ:NK.3">deg</a> <a href="field_10.html#K2" title="FIELD_10:func.2">X^2-2</a> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 2 &amp;  <a href="hurwitz.html#NK3" title="HURWITZ:NK.3">deg</a> <a href="field_10.html#K4" title="FIELD_10:func.4">X^3-2</a> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 3 &amp;  <a href="hurwitz.html#NK3" title="HURWITZ:NK.3">deg</a> <a href="field_10.html#K3" title="FIELD_10:func.3">X^3-1</a> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 3 &amp;  <a href="hurwitz.html#NK3" title="HURWITZ:NK.3">deg</a> <a href="field_10.html#K5" title="FIELD_10:func.5">X^2+X+1</a> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 2 ) <span class="kw">by</span> <span class="lab"><a class="txt" href="field_10.html#E28"><span class="lab"><font color="Green" title="E18">LL</font></span></a></span>;<br/></div></div>
