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