theorem :: ZMODUL05:22

for V, W being Z_Module
for T being linear-transformation of V,W
for X being Subset of V holds T .: X is Subset of (im T) by RANKNULL:12;