theorem :: ZMODLAT3:42

for L being positive-definite Z_Lattice holds GramDet (InnerProduct L) = GramDet (InnerProduct (EMLat L))