theorem Th20: :: LMOD_XX1:20

for R being comRing
for M, N being LeftMod of R
for a being Element of the carrier of R
for g being Homomorphism of R,M,N holds (LMULT (M,N)) . [a,g] is Homomorphism of R,M,N