theorem LmDE1: :: ZMODLAT3:27

for L being Z_Lattice
for v, u being Dual of L holds v + u is Dual of L