theorem Th54: :: RMOD_2:54

for R being Ring
for V being RightMod of R
for u, v1, v2 being Vector of V
for W being Submodule of V st u in v1 + W & u in v2 + W holds
v1 + W = v2 + W