<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="number15.html#V2" title="NUMBER15:attr.2">a_solution_of_Sierp168</a> <a onclick="hs(this)" href="javascript:()">NUMBER15:def 12 : <br/></a><span> for <font color="Olive" title="b1">s</font> being   <a href="ordinal1.html#NM6" title="ORDINAL1:NM.6">Nat</a><br/>  for <font color="Olive" title="b2">f</font> being  <font color="Olive">b<sub>1</sub></font> <a href="nat_1.html#K1" title="NAT_1:func.1">+</a> 1 <a href="card_1.html#V3" title="CARD_1:attr.3">-element</a>   <a href="valued_0.html#V1" title="VALUED_0:attr.1">complex-valued</a>  <a href="finseq_1.html#NM1" title="FINSEQ_1:NM.1">FinSequence</a> holds <br/> ( <font color="Olive" title="b2">f</font> is  <a href="number15.html#V2" title="NUMBER15:attr.2">a_solution_of_Sierp168</a>  iff  <a href="rvsum_1.html#K16" title="RVSUM_1:func.16">Sum</a> <span class="p1">(<span class="default"><span class="p2">(<span class="default"><span class="p3">(<span class="default"><font color="Olive" title="b2">f</font> <a href="finseq_1.html#K16" title="FINSEQ_1:func.16">|</a> <font color="Olive" title="b1">s</font></span>)</span> <a href="valued_1.html#K35" title="VALUED_1:func.35">"</a></span>)</span> <a href="valued_1.html#K39" title="VALUED_1:func.39">^2</a></span>)</span> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 1 <a href="xcmplx_0.html#K7" title="XCMPLX_0:func.7">/</a> <span class="p1">(<span class="default"><span class="p2">(<span class="default"><font color="Olive" title="b2">f</font> <a href="funct_1.html#K1" title="FUNCT_1:func.1">.</a> <span class="p3">(<span class="default"><font color="Olive" title="b1">s</font> <a href="nat_1.html#K1" title="NAT_1:func.1">+</a> 1</span>)</span></span>)</span> <a href="square_1.html#K1" title="SQUARE_1:func.1">^2</a></span>)</span> );<br/></span></div>
