<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T122"><span class="comment"><font color="firebrick">:: ZMODUL01:122</font></span><br/></a><div class="add"> for <font color="Olive" title="b1">V</font> being   <a href="vectsp_1.html#V7" title="VECTSP_1:attr.7">strict</a>  <a href="zmodul01.html#NM1" title="ZMODUL01:NM.1">Z_Module</a> holds  <font color="Olive" title="b1">V</font> <a href="tarski.html#R2" title="TARSKI:pred.2">in</a>  <a href="zmodul01.html#NK2" title="ZMODUL01:NK.2">Submodules</a> <font color="Olive" title="b1">V</font></div></div>
