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

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

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

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

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