theorem Th46: :: RMOD_2:46

for R being Ring
for V being RightMod of R
for v being Vector of V holds v + ((0). V) = {v}