Некоммутативная рациональная теория гомотопий - постскриптум

Я перемудрил; основное утверждение (что квазиизоморфизм неотрицательно когомологически градуированных DG-коалгебр индуцирует квазиизоморфизм их кобар-конструкций) доказывается в две строчки. Там просто убывающая фильтрация на кобар-конструкции конечна в каждой когомологической степени.

Так и не заметил бы, если б не полез в литературу уточнять ссылки.

Летняя жара сказывается на мозгу.

Теперь у меня готовый написанный аппендикс приложен к статье, в которой он по существу практически не нужен. Выкинуть или оставить? Хочется оставить -- куда ж я его еще приложу, а жалко пропадать добру.