theorem Th5: :: RMOD_4:5

for R being Ring
for V being RightMod of R holds Sum ({} V) = 0. V