theorem LMTh441: :: ZMODUL07:22

for V, W being Z_Module
for T being linear-transformation of V,W
for A being Subset of V st A c= the carrier of (ker T) holds
Lin (T .: A) = (0). W