;</span><span 
class="cmr-10">(</span><span 
class="cmmi-10">n </span><span 
class="cmsy-10">&ge; </span><span 
class="cmr-10">1)  </span></td>
</tr><tr  
 style="vertical-align:baseline;" id="TBL-83-9-"><td  style="white-space:nowrap; text-align:left;" id="TBL-83-9-1"  
class="td11"> <span 
class="cmmi-10">topdecls  </span></td><td  style="white-space:nowrap; text-align:center;" id="TBL-83-9-2"  
class="td11">   <span 
class="cmsy-10">&rarr;</span>  </td><td  style="white-space:nowrap; text-align:left;" id