ПОИСК Статьи Чертежи Таблицы Поскольку комбинаторная часть доказательства теоремы изложена довольно кратко и в работе [181, и в оригинальной работе [8], мы изложим здесь еще раз главный раздел доказательства: докажем, что запаздывающие операторы вида (2.45) удовлетворяют тождествам (2.22). Это доказательство может также служить моделью аналогичных выкладок, которые потребуются нам ниже, но не будут приводиться явно. [Выходные данные]