К доказательству унитарности $S$-матрицы

Дано формальное доказательство унитарности $S$-матрицы в функциональной форме. Доказывается утверждение: если в теории возмущений промежуточная регуляризация вводится через пропагаторы виртуальных частиц и существует конечный предел при снятии регуляризации, то предельная $S$-матрица унитарна.