theorem :: ZMODUL01:122

for V being strict Z_Module holds V in Submodules V