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

<a NAME="E1:172_1_1"/>
<font color="Maroon">Gs</font> <a href="lexbfs.html#K9" target="_self">.</a> <span class="p1">(<span class="default"><font color="Maroon">Gs</font> <a href="glib_000.html#K40">.Lifespan()</a> </span>)</span> is  <a href="glib_000.html#V2">finite</a> <a href="lexbfs.html#V3" target="_self">natural-vlabeled</a> <a href="lexbfs.html#NM3">VVGraph</a>
 
;<br/>
<b>hence </b><a NAME="E2:172_1_1"/>
<font color="Maroon">Gs</font> <a href="glib_000.html#K41">.Result()</a>  is  <a href="glib_000.html#V2">finite</a> <a href="lexbfs.html#V3" target="_self">natural-vlabeled</a> <a href="lexbfs.html#NM3">VVGraph</a>
 ;<br/>


</div>
