--- a/text/evmap.tex	Wed Jun 29 23:06:29 2011 -0700
+++ b/text/evmap.tex	Mon Jul 04 10:25:42 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))