Изучая книгу Средненицкого по квантовой теории поля, я столкнулся с интересующим меня тождеством (уравнение 36.40):
Да, это можно показать, используя только тот факт, что алгебра Клиффорда имеет единственное представление с точностью до преобразования подобия в любом измерении. Это показано на первых нескольких страницах
http://arxiv.org/pdf/hep-th/9811101.pdf
Затем вы замечаете, что если подчиняется алгебре Клиффорда, то . тогда определяется как преобразование подобия между двумя представлениями, существование которых гарантируется уникальностью представления алгебры Клиффорда.