for R being Ring
for S being b₁ -monomorphic Ring
for f being Monomorphism of R,S
for a being Element of rng f holds
( (f ") . a = 0. R iff a = 0. S )