theorem ThRankDL: :: ZMODLAT3:43

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