theorem ThRankEM: :: ZMODUL08:34

for V being free finite-rank Z_Module holds rank (EMbedding V) = rank V