補題
M を n 次元多様体とする。
A を (Ω(M)^r)×(X(M)^s) からC^∞(M) へのC^∞(M)上の多重線型写像とする。
ω_1, ... ω_r と θ_1, ..., θ_r を M 上の一次微分形式とする。
X_1, ... X_s と Y_1, ..., Y_s を M 上のベクトル場とする。
p を M の点とする。

(ω_i)_p = (θ_i)_p, i = 1, ..., n かつ
(X_i)_p = (Y_i)_p, i = 1, ..., n なら

A(ω_1, ... ω_r, X_1, ... X_s)(p) = A(θ_1, ..., θ_r, Y_1, ... Y_s)(p) である。

証明
>>281を使って>>257と同様に証明すればよい。