reserve V,W for Z_Module;
reserve T for linear-transformation of V,W;

theorem
  for X being Subset of V holds T .: X is Subset of im T by RANKNULL:12;
