theorem Th44: :: GROUP_23:47

for G1, G2, G3 being Group
for f1 being Homomorphism of G1,G2
for f2 being Homomorphism of G2,G3
for g being Element of G1 holds
( g in Ker (f2 * f1) iff f1 . g in Ker f2 )