theorem Th9: :: RANKNULL:9

for F being Field
for V, W being VectSp of F
for T being linear-transformation of V,W holds T . (0. V) = 0. W