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

theorem
  for F being Ring, V,W being VectSp of F,
      T being linear-transformation of V,W
  for x,y being Element of V holds T.x - T.y = T.(x - y) by RANKNULL:8;
