<?xml version="1.0"?>
<div><span class="kw">theorem </span><span class="lab"><font color="Green" title="E16">Th1990</font></span>: <a NAME="T27"><span class="comment"><font color="firebrick">:: NUMBER12:27</font></span><br/></a><div class="add"><span class="p1">(<span class="default"><a href="number06.html#K1" title="NUMBER06:func.1">ArProg</a> (199,210)</span>)</span> <a href="nat_1.html#K8" title="NAT_1:func.8">.</a> <a href="numbers.html#K5" title="NUMBERS:func.5">0</a> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 199 <span class="kw">by</span> <span class="lab"><a class="ref" href="number06.html#D4" onmouseover="rs('number06/D4')" onmouseout="rh()">NUMBER06:def 4</a></span>;<br/></div></div>
