Theorem 29.2:

For each $n\geq 1$, we have

$$\partial _{n-1}\circ\partial _n = 0. \eqno(29.5)$$