<?xml version="1.0"?>
<div class="add">

<b>thus </b><a NAME="E1:29_1_1"/>
 <a href="funct_2.html#K5" title="FUNCT_2:func.5">pr1</a> <font color="Maroon" title="c2">H</font> is   <a href="funct_2.html#NM1" title="FUNCT_2:NM.1">Function</a> of  <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> , <a href="numbers.html#K5" title="NUMBERS:func.5">NAT</a> 
 ;<br/>


</div>
