theorem :: ZMODUL01:53

for V being Z_Module
for W being Submodule of V holds (0). W is Submodule of V by Th42;