theorem Th17: :: ZMODUL05:27

for V, W being Z_Module
for T being linear-transformation of V,W
for x, y being Element of V st T . x = T . y holds
x - y in ker T by RANKNULL:17;