theorem :: LMOD_XX1:36

for R being comRing
for M being LeftMod of R
for a being Element of R holds (canHom M) . a is Homomorphism of (AbGr M),(AbGr M)