<?xml version="1.0"?>
<div class="add">

<span class="kw">thus </span> <a href="numbers.html#K6" title="NUMBERS:func.6">0</a>  = 
<span class="p1"><a href="int_1.html#K1" title="INT_1:func.1">[\</a><span class="default"><a href="numbers.html#K6" title="NUMBERS:func.6">0</a> </span><a href="int_1.html#K1" title="INT_1:func.1">/]</a></span>
<span class="kw">by</span> <span class="lab"><a class="ref" href="int_1.html#T47" title="INT_1:th.47">INT_1:47</a></span>
<br/>.= 
<span class="p1"><a href="int_1.html#K1" title="INT_1:func.1">[\</a><span class="default"><span class="p2">(<span class="default"><a href="power.html#K5" title="POWER:func.5">log</a> 2,1</span>)</span></span><a href="int_1.html#K1" title="INT_1:func.1">/]</a></span>
<span class="kw">by</span> <span class="lab"><a class="ref" href="power.html#T59" title="POWER:th.59">POWER:59</a></span>
; <a class="txt" onclick="hs(this)" href="javascript:()"><span class="comment"><font color="Red">::  thesis: </font></span></a><span class="hide"> verum</span><br/>


</div>
