theorem ker0: :: RING_2:12

for R being Ring
for S being b₁ -homomorphic Ring
for f being Homomorphism of R,S holds
( f is monomorphism iff ker f = {(0. R)} )