theorem ThSPEM2: :: ZMODLAT2:7

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