theorem :: LMOD_XX1:41

for R being comRing
for M being LeftMod of R holds M ~= AbGrLMod ((AbGr M),(canHom M))