theorem :: LMOD_6:18

for K being Ring
for V, M, N being LeftMod of K st V c= M & M c= N holds
V c= N by VECTSP_4:26;