<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T8"><span class="comment"><font color="firebrick">:: LOPBAN15:8</font></span><br/></a><div class="add">(  <a href="dualsp02.html#K3" title="DUALSP02:func.3">RNS_Real</a>  is  <a href="rlvect_5.html#V1" title="RLVECT_5:attr.1">finite-dimensional</a>  &amp;  <a href="rlvect_5.html#K1" title="RLVECT_5:func.1">dim</a> <a href="dualsp02.html#K3" title="DUALSP02:func.3">RNS_Real</a> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 1 )</div></div>
