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

<a NAME="E1:145_1_1"/>
0 <a href="comput_1.html#K6" target="_self">const</a> 0 is <a href="comput_1.html#V10" target="_self">nullary</a>
 
;<br/>
<b>hence </b><a NAME="E2:145_1_1"/>
ex <font color="Olive">b<sub>1</sub></font> being <a href="comput_1.html#V2" target="_self">from-natural-fseqs</a> <a href="comput_1.html#V4" target="_self">homogeneous</a> <a href="funct_1.html#NM1">Function</a> st <br/>( not <font color="Olive">b<sub>1</sub></font> is <a href="xboole_0.html#V1">empty</a> &amp; <font color="Olive">b<sub>1</sub></font> is <a href="comput_1.html#V10" target="_self">nullary</a> &amp; <font color="Olive">b<sub>1</sub></font> is <a href="comput_1.html#V3" target="_self">len-total</a> &amp; <font color="Olive">b<sub>1</sub></font> is <a href="seqm_3.html#V6">to-naturals</a> )
 ;<br/>


</div>
