theorem ThRankrEM1: :: ZMODUL08:35

for V being free finite-rank Z_Module
for r being non zero Element of F_Rat holds rank (EMbedding (r,V)) = rank (EMbedding V)