theorem ThEM1: :: ZMODUL08:28

for V being torsion-free Z_Module
for v being Vector of V holds Class ((EQRZM V),[v,1]) in EMbedding V