theorem Th28: :: LMOD_XX1:28

for R being comRing
for M, N being LeftMod of R
for f being Homomorphism of R,M,N holds AbGr f is Homomorphism of (AbGr M),(AbGr N)