0PLP Corollary 7 Submodules X1,X2,X3X_{1},X_{2},X_{3} are graded subcomplexes of the complex C¯(D1).\overline{C}(D_{1}).