theorem ThScDM1: :: ZMODLAT2:11

for L being Z_Lattice
for v, u being Vector of (DivisibleMod L) holds
( (ScProductDM L) . ((- v),u) = - ((ScProductDM L) . (v,u)) & (ScProductDM L) . (u,(- v)) = - ((ScProductDM L) . (u,v)) )