theorem :: ZMODUL01:108

for V being Z_Module holds ((0). V) /\ ((Omega). V) = (0). V by Th107;