theorem LMTh441: :: ZMODUL07:22

for R being Ring
for V, W being LeftMod of R
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