theorem :: ZMODLAT2:42

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