theorem :: GROUP_23:48

for G1, G2, G3 being Group
for f1 being Homomorphism of G1,G2
for f2 being Homomorphism of G2,G3 holds the carrier of (Ker (f2 * f1)) = f1 " the carrier of (Ker f2)