補題
M を n 次元多様体とする。
A と B を (1, r) 型のテンソル場(>>203)とする。

任意のベクトル場 X_1, ... X_r に対して、
A(X_1, ... X_r) = B(X_1, ... X_r) であるなら A = B である。

ここで、A(X_1, ... X_r) と B(X_1, ... X_r) は>>263で定義したものである。

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