theorem ThIntLatY: :: ZMODLAT1:104

for L being INTegral Z_Lattice
for b being OrdBasis of L holds GramMatrix b is Matrix of dim L,INT.Ring