theorem LmStrict11: :: ZMODUL07:33

for R being Ring
for V being LeftMod of R
for W being Subspace of V
for Ws being strict Subspace of V
for A being object st Ws = (Omega). W holds
( A is Coset of W iff A is Coset of Ws )