theorem Th10: :: RMOD_4:10

for R being Ring
for V being RightMod of R
for S, T being finite Subset of V holds Sum (T \/ S) = ((Sum T) + (Sum S)) - (Sum (T /\ S))