theorem :: ZMODUL01:102

for R being Ring
for V being strict LeftMod of R holds ((Omega). V) + ((Omega). V) = V by Th101;