theorem ThDL2: :: ZMODLAT3:35

for L being positive-definite RATional Z_Lattice holds DualLat L is Submodule of DivisibleMod L