theorem rSB03A: :: ZMODUL08:27

for V being torsion-free Z_Module
for r being Element of F_Rat st r <> 0. F_Rat holds
ex T being linear-transformation of (EMbedding V),(EMbedding (r,V)) st
( ( for v being Element of (Z_MQ_VectSp V) st v in EMbedding V holds
T . v = r * v ) & T is bijective )