for L being INTegral Z_Lattice holds InnerProduct L is bilinear-Form of L,L