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

(w_1)*, ..., (w_r)* ∈ E^* と v_1, ..., v_s ∈ E, A ∈ T(r, s)(E) に対して、
v_1※...※v_s※(w_1)*※...※(w_r)*※A ∈ T(r+s, r+s)(E) である。

このとき、
C(r+s, r+s)...C(2, 2)C(1, 1)A = A((w_1)*, ..., (w_r)*, v_1, ..., v_s) ∈ K
となる。

証明
>>298と>>299を繰り返し使えばよい。