0PLM Corollary 6 The complexes C¯(D)[−1]{−1}\overline{C}(D)[-1]\{-1\} and C¯(D1)\overline{C}(D_{1}) are quasiisomorphic. □\square