Доказательство свойства последовательного вырождения

Теперь мы в состоянии доказать равенство (9.7.4). Поскольку величина считается непрерывной функцией класса в точке Р ее можно представить в виде ряда

Рассмотрим типичную компоненту [имеющую в общей сложности равных нулю индексов (0 и 0)]

поля относительно спиновой системы отсчета и соответствующую компоненту

поля относительно спиновой системы отсчета . Разложение (9.7.32) имеет место для любой компоненты поля, так что

причем каждая величина постоянна вдоль у. Если конформная плотность веса [формула (9.7.1)], то

причем компоненты получаются в результате свертки с и с комплексно-сопряженными им спинорами. Подставляя последовательно (9.7.30), (9.7.31), (9.7.22) и (9.7.35) в (9.7.36), мы, как и требовалось, получаем разложение (9.7.4). На этом и заканчиваются наши несколько затянувшиеся рассуждения.