--- 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)$.