0PLR Corollary 8 Subcomplexes Y1,Y2,Y3Y_{1},Y_{2},Y_{3} are graded subcomplexes of the complex C¯(D2).\overline{C}(D_{2}).