利用 ε-δ 恒等式化简 $\varepsilon_{ijk}\varepsilon_{ist}a_jb_k$，结果为

$\varepsilon_{ijk}\varepsilon_{ist}=\delta_{js}\delta_{kt}-\delta_{jt}\delta_{ks}$，代入得 $a_s b_t-a_t b_s$（$K1-44$）。