補題
M を n 次元多様体とする。
A を X(M)^r から X(M) へのC^∞(M)上の多重線型写像とする。
X_1, ... X_r を M 上のベクトル場とする。
p を M の点とする。

このとき、(X_1)_p = 0 なら A(X_1, ... X_r)(p) = 0 である。

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