theorem Th68: :: RING_3:69

for R being Ring
for S being b₁ -homomorphic Ring
for T being b₂ -homomorphic Ring
for f being Homomorphism of R,S
for g being Homomorphism of S,T holds ker f c= ker (g * f)