0PL3 Corollary 1 We have a canonical splitting of complexes C¯((V⊕W)⊗Eℐ)=C¯(V⊗Eℐ)⊕C¯(W⊗Eℐ)\overline{C}((V\oplus W)\otimes E_{\mathcal{I}})=\overline{C}(V\otimes E_{\mathcal{I}})\oplus\overline{C}(W\otimes E_{\mathcal{I}}) (39) where VV and WW are ℐ\mathcal{I}-cubes over R-mod0.R{\mbox{-mod}_{0}}.