diff -r 002b4838cc34 -r 40b2a6d891c6 text/evmap.tex --- a/text/evmap.tex Thu Jun 30 09:12:32 2011 -0700 +++ b/text/evmap.tex Mon Jul 04 10:26:37 2011 -0600 @@ -82,7 +82,7 @@ \begin{proof} Since both complexes are free, it suffices to show that the inclusion induces an isomorphism of homotopy groups. -To show that it suffices to show that for any finitely generated +To show this it in turn suffices to show that for any finitely generated pair $(C_*, D_*)$, with $D_*$ a subcomplex of $C_*$ such that \[ (C_*, D_*) \sub (\bc_*(X), \sbc_*(X))