theorem :: RMOD_2:67

for R being Ring
for V being RightMod of R
for W1, W2 being strict Submodule of V
for C1 being Coset of W1
for C2 being Coset of W2 st C1 = C2 holds
W1 = W2