for L being Z_Lattice holds ScProductEM L = (ScProductDM L) || (rng (MorphsZQ L))