theorem Th13: :: LMOD_XX1:13

for R being Ring
for M, N being LeftMod of R
for f being Homomorphism of R,M,N holds
( f is one-to-one iff ker f = {(0. M)} )