theorem Th18: :: LMOD_XX1:18

for R being comRing
for M, N being LeftMod of R
for f, g being Homomorphism of R,M,N holds (ADD (M,N)) . (f,g) is Homomorphism of R,M,N