theorem :: ZMODLAT3:51

for L being positive-definite RATional Z_Lattice
for b being OrdBasis of DualLat L holds GramMatrix ((InnerProduct (DualLat L)),b) is Matrix of dim L,F_Rat