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