Недавно я встретил (в одной статье Phys. rev.) доказательство соотношения (Паули-Кофинка)

Здесь

являются произвольными матрицами 4*4.
В начале доказательства стартуют с тождеств Паули-Фирца:

где

- одна из 16 базисных матриц пространства спиноров Дирака (
![$I, \gamma_{\mu}, \gamma_{5}, \frac{1}{2}\gamma_{[\mu}\gamma_{\nu]}, \gamma_{5}\gamma_{\mu}$ $I, \gamma_{\mu}, \gamma_{5}, \frac{1}{2}\gamma_{[\mu}\gamma_{\nu]}, \gamma_{5}\gamma_{\mu}$](https://dxdy-03.korotkov.co.uk/f/6/8/9/68947393e9aa146b88e0fa1d5508612382.png)
). Это тождество "вставляется" в

:

После этого равенство записывается в явном виде

Вопрос: откуда в указанном выражении множитель 3 при слагаемом с

?