0PLH Proposition 16 The complexes C¯(V′⊗Eℐ′)\overline{C}(V^{\prime}\otimes E_{\mathcal{I}^{\prime}}) and C¯(D)[−1]{−2}\overline{C}(D)[-1]\{-2\} are isomorphic.