theorem Th2: :: LMOD_XX1:2

for M, N being AbGroup
for f, g being Homomorphism of M,N holds (ADD (M,N)) . (f,g) is Homomorphism of M,N