theorem ThGM1: :: ZMODLAT2:45

for L being RATional Z_Lattice
for b being OrdBasis of L holds GramMatrix b is Matrix of dim L,F_Rat