транзитивные заключения - архив