设 A 为环、C、其中心、E 右A-模、F 左A-模以及 E*、F* 分别为 E 和 F 的对偶。将 E∗⊗CF∗ 的映射 f 添加到 A 中，称为“双线性”，如果 f(aw)=af(w) 和f(wa)=f(w)a 适用于所有 w∈E∗⊗CF∗ 和所有 a∈A。证明存在且仅有一个E⊗AF的C-线性映射ϕ到E∗⊗CF∗的双重线性映射到A的C-模L，使得
(ϕ(x⊗y))(x∗⊗y∗)=⟨x∗,x⟩⟨y,y∗⟩ 对于所有
x∈E,y∈F,x∗∈E∗,y∗∈F∗。如果 E 和 F 是有限生成射影模，则
ϕ 是双射。