theorem Th5: :: LMOD_XX1:5

for M being AbGroup
for f, g being Endomorphism of M holds (FuncComp M) . (f,g) is Endomorphism of M