theorem Th31: :: LMOD_XX1:32

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