theorem :: LMOD_6:21

for K being Ring
for M, N being LeftMod of K st M c= N holds
M c= (Omega). N