theorem Th44: :: ZMODUL07:24

for V, W being free finite-rank Z_Module
for T being linear-transformation of V,W holds rank V = (rank T) + (nullity T)