有限的 ZZ -具有双线性和二次型的模。