张量识别定理：若 $p_{i_1\cdots i_m}$ 与任意 n 阶张量 $q_{j_1\cdots j_n}$ 的乘积收缩后恒为 $m+n$ 阶张量，则 $p_{i_1\cdots i_m}$ 必为 m 阶张量。

出处：43