theorem Th63: :: RMOD_2:63

for R being Ring
for V being RightMod of R
for v being Vector of V
for W1, W2 being strict Submodule of V holds
( v + W1 = v + W2 iff W1 = W2 )