theorem Lm33: :: LMOD_XX1:30

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 = (AbGr f) * (AbGr g)