for L being Z_Lattice holds rank L = rank (EMLat L)