theorem :: ZMODUL05:21

for V, W being Z_Module
for T being linear-transformation of V,W holds 0. V in ker T by RANKNULL:11;