for L being positive-definite RATional Z_Lattice holds rank L = rank (DualLat L)