<?xml version="1.0"?>
<div><span class="kw">theorem </span><span class="lab"><font color="Green" title="E43">Core1</font></span>: <a NAME="T64"><span class="comment"><font color="firebrick">:: MOEBIUS3:64</font></span><br/></a><div class="add"> <a href="basel_1.html#K2" title="BASEL_1:func.2">rseq</a> (<a href="numbers.html#K5" title="NUMBERS:func.5">0</a>,1,1,<a href="numbers.html#K5" title="NUMBERS:func.5">0</a>) <a href="relset_1.html#R2" title="RELSET_1:pred.2">=</a> <a href="moebius3.html#K8" title="MOEBIUS3:func.8">Reci-Sqf</a> <a href="valued_1.html#K20" title="VALUED_1:func.20">(#)</a> <a href="moebius3.html#K9" title="MOEBIUS3:func.9">Reci-TSq</a></div></div>
