<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="field_10.html#K7" title="FIELD_10:func.7">3-Root(2)</a> <a onclick="hs(this)" href="javascript:()">FIELD_10:def 6 : <br/></a><span> <a href="field_10.html#K7" title="FIELD_10:func.7">3-Root(2)</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 3 <a href="prepower.html#K2" title="PREPOWER:func.2">-Root</a> 2;<br/></span></div>
