theorem :: ZMODLAT1:103

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