theorem ThEME1: :: ZMODLAT2:43

for L being Z_Lattice
for x being object holds
( x is Vector of (EMLat L) iff x is Vector of (EMbedding L) )