На странице 90 этого набора конспектов лекций по квантовой теории поля, http://www.damtp.cam.ac.uk/user/tong/qft/four.pdf , дан простой вывод, показывающий, что каждое компонентное уравнение Дирака решает уравнение Клейна-Гордона. В выводе это тождество используется без пояснений:
и
являются фиктивными индексами.
Поэтому значение выражения никак не может зависеть от них. Более того, если изменить
и
, значение не изменится.
Это означает:
(Если вам не нравится и , так как некоторые люди сначала находят это запутанным, вы можете сначала сделать и и продолжайте оттуда)