命題
M を n 次元多様体とする。
A を (r, s) 型のテンソル場とする。

任意の ω_1, ..., ω_r ∈ Ω(M) と任意の X_1, ..., X_s ∈ X(M) に対して

C(r+s, r+s)...C(2, 2)C(1, 1)X_1※...※X_s※ω_1※...※ω_r※A

となる。

証明
>>301(と>>302)より明らかである。