theorem LMFirst2: :: ZMODUL07:28

for R being Ring
for V, W being LeftMod of R
for f being linear-transformation of V,W holds the carrier of (ker f) = f " {(0. W)}