0PLC Proposition 13 The complexes C¯(V′⊗Eℐ′)\overline{C}(V^{\prime}\otimes E_{\mathcal{I}^{\prime}}) and C¯(VD⊗Eℐ){1}\overline{C}(V_{D}\otimes E_{\mathcal{I}})\{1\} are isomorphic.