0PLJ Proposition 17 These submodules are stable under dd: dXi⊂XidX_{i}\subset X_{i} (110) and respect the ℤ⊕ℤ\mathbb{Z}\oplus\mathbb{Z}-grading of C¯(D1).\overline{C}(D_{1}).