theorem :: ZMODUL05:24

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