theorem :: ZMODUL05:19

for V, W being Z_Module
for T being linear-transformation of V,W holds T . (0. V) = 0. W by RANKNULL:9;