О построении $S$-матрицы по теории возмущений

Дается доказательство существования отдельных операторов $S_n(x_1,\dots,x_n)$ Для произвольных $n\geqslant1$, не опирающееся на предварительную регуляризацию причинных функций $\Delta^c(x-y)$. Относительно лагранжиана взаимодействия $\mathcal L(x)$ делаются только самые общие предположения, справедливые практически при любых обстоятельствах. Метод доказательства состоит в выделении последнего вычитания в предположении, что все предыдущие уже выполнены.