theorem Th34:
    for f,g,h be Endomorphism of R,M st
    h = f*g
    holds AbGr(h) = (FuncComp(AbGr(M))).(AbGr(f),AbGr(g))
    proof
      let f,g,h be Endomorphism of R,M;
      assume h = f*g; then
      for x being Element of the carrier of AbGr(M) holds
      (AbGr(h)).x = ((AbGr(f))*(AbGr(g))).x by Lm33;
      hence thesis by Th29;
    end;
