theorem Th8: :: ZMODUL05:18

for V, W being Z_Module
for T being linear-transformation of V,W
for x, y being Element of V holds (T . x) - (T . y) = T . (x - y)