 Small simplex theorem

For an open cover $\mathcal{U}$ of $X$, singular chains generated by simplices lying inside one member of $\mathcal{U}$ form a subcomplex chain-homotopy equivalent to the full singular chain complex. Repeated barycentric subdivision makes chains small.