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