<?xml version="1.0"?>
<div><span class="kw">theorem </span><span class="lab"><font color="Green" title="E4">Th7</font></span>: <a NAME="T7"><span class="comment"><font color="firebrick">:: NUMBER16:7</font></span><br/></a><div class="add">(  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 6 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 8 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 7 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 13 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 8 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 21 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 9 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 34 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 10 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 55 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 11 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 89 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 12 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 144 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 13 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 233 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 14 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 377 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 15 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 610 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 16 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 987 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 17 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 1597 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 18 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 2584 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 19 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 4181 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 20 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 6765 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 21 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 10946 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 22 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 17711 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 23 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 28657 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 24 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 46368 &amp;  <a href="pre_ff.html#K2" title="PRE_FF:func.2">Fib</a> 25 <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 75025 )</div></div>
