theorem :: ZMODUL01:108

for R being Ring
for V being LeftMod of R holds ((0). V) /\ ((Omega). V) = (0). V by Th107;