theorem :: ZMODUL07:25

for V, W being free finite-rank Z_Module
for T being linear-transformation of V,W st T is one-to-one holds
rank V = rank T