Функтор коядра и тотализация конечного комплекса (упражнение)

Будем рассматривать матричные факторизации регулярного потенциала w на схеме X. Они образуют DG-категорию; и, как во всякой DG-категории, конечному комплексу объектов можно сопоставить его тотальный объект. С другой стороны, матричной факторизации можно сопоставить ее образ при функторе коядра Σ имени Д.О. -- объект триангулированной категории особенностей нулевого локуса X₀, представленный конкретным когерентным пучком на X₀.

Соответственно, конечному комплексу матричных факторизаций можно сопоставить конечный комплекс коядер, который тоже представляет некий объект триангулированной категории особенностей. А можно вместо этого взять у конечного комплекса матричных факторизаций тотальную матричную факторизацию, и на нее уже подействовать функтором коядра (получив не комплекс, а просто когерентный пучок на X₀).

Как показать, что этот комплекс пучков и этот пучок представляют один и тот же объект триангулированной категории особенностей?