for L being Z_Lattice
for v being Dual of L
for a being Element of INT.Ring holds a * v is Dual of L