<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="field_10.html#K9" title="FIELD_10:func.9">3-CRoot(2)</a> <a onclick="hs(this)" href="javascript:()">FIELD_10:def 8 : <br/></a><span> <a href="field_10.html#K9" title="FIELD_10:func.9">3-CRoot(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>
