theorem Th32: :: ZMODUL01:32

for V being Z_Module holds V is Submodule of V by VECTSP_4:24;