 Rank cancellation in the Euler-Poincare formula

Use the cellular chain complex or simplicial chain complex over $\mathbb{Q}$, rather than the infinite singular chain complex. Put $r_i=\mathrm{rank}{\partial }_i$, with $r_0=r_{d+1}=0$. The rank-nullity theorem gives $\dim \ker {\partial }_i=\dim C_i-r_i$; quotienting the chain cycles by the chain boundaries then gives $b_i=\dim C_i-r_i-r_{i+1}$. Each boundary operator's rank occurs in adjacent degrees with opposite signs, soFiniteness makes this cancellation an ordinary finite sum. This is the algebra behind the cell-count formula for Euler characteristic.