theorem SB03: :: ZMODUL08:21

for V being torsion-free Z_Module ex T being linear-transformation of V,(EMbedding V) st
( T is bijective & T = MorphsZQ V & ( for v being Vector of V holds T . v = Class ((EQRZM V),[v,1]) ) )