The Whitehead Approximation Theorem, Theorem REF , is proven in Section .
We start from an open covering of a manifold and manipulate it via the modified two-sided bar construction from Appendix  until we can apply [1]}.
