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

(X_i)_p = (Y_i)_p, i = 1, ..., n なら
A(X_1, ... X_r)(p) = A(Y_1, ... Y_r)(p) である。

証明
>>257の証明において>>254の代わりに>>266を使用すればよい。