補題
E を可換環 K 上の有限生成自由加群とする。
E^* をその双対空間とする。
s を s ≧ 1 となる整数とする。

v ∈ E と A ∈ T(r, s)(E) に対して、v※A ∈ T(r+1, s) である。

C(1, 1): T(r+1, s)(E) → T(r, s-1)(E) を縮約(>>207. >>223)とする。

このとき、C(1, 1)(v※A) = B である。
ここで、任意の (w_1)*, ..., (w_r)* ∈ E^*, v_2, ..., v_s ∈ E に対して
B((w_1)*, ..., (w_r)*, v_2, ..., v_s) = A((w_1)*, ..., (w_r)*, v, v_2, ..., v_s)
である。

証明
>>295と同様である。