0PLI Corollary 4 The complexes C¯(D1)\overline{C}(D_{1}) and C¯(D)[−1]{−2}\overline{C}(D)[-1]\{-2\} are quasiisomorphic.