theorem :: ZMODUL05:18

for F being Ring
for V, W being VectSp of F
for 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;