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