theorem Th34: :: LMOD_XX1:35

for R being comRing
for M being LeftMod of R
for f, g, h being Endomorphism of R,M st h = f * g holds
AbGr h = (FuncComp (AbGr M)) . ((AbGr f),(AbGr g))