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

このとき、(ω_i)_p = 0 または (X_j)_p = 0 なら
A(ω_1, ... ω_r, X_1, ... X_s)(p) = 0 である。

証明
>>278を考慮すれば>>254と同様である。