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