theorem LMFirst2: :: ZMODUL07:28

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