diff -r bc4086c639b6 -r c57afb230bb1 text/hochschild.tex
--- a/text/hochschild.tex	Mon Dec 12 10:37:50 2011 -0800
+++ b/text/hochschild.tex	Mon Dec 12 15:01:37 2011 -0800
@@ -218,7 +218,10 @@
 to distance $\ep$ from *.
 (Move right or left so as to shrink the blob.)
 Extend to get a chain map $f: F_*^\ep \to F_*^\ep$.
-By Lemma \ref{support-shrink}, $f$ is homotopic to the identity.
+By Corollary \ref{disj-union-contract}, 
+$f$ is homotopic to the identity.
+(Use the facts that $f$ factors though a map from a disjoint union of balls
+into $S^1$, and that $f$ is the identity in degree 0.)
 Since the image of $f$ is in $J_*$, and since any blob chain is in $F_*^\ep$
 for $\ep$ sufficiently small, we have that $J_*$ is homotopic to all of $\bc_*(S^1)$.