diff -r 2df1284ab09e -r b1da2a454ee7 text/appendixes/smallblobs.tex --- a/text/appendixes/smallblobs.tex Mon Jun 21 15:28:02 2010 -0700 +++ b/text/appendixes/smallblobs.tex Tue Jun 22 18:05:09 2010 -0700 @@ -15,10 +15,14 @@ We can't quite do the same with all $\cV_k$ just equal to $\cU$, but we can get by if we give ourselves arbitrarily little room to maneuver, by making the blobs we act on slightly smaller. \end{rem} \begin{proof} +This follows from the remark \nn{number it and cite it?} following the proof of +Proposition \ref{CHprop}. +\end{proof} +\noop{ We choose yet another open cover, $\cW$, which so fine that the union (disjoint or not) of any one open set $V \in \cV$ with $k$ open sets $W_i \in \cW$ is contained in a disjoint union of open sets of $\cU$. Now, in the proof of Proposition \ref{CHprop} -\todo{I think I need to understand better that proof before I can write this!} -\end{proof} +[...] +} \begin{proof}[Proof of Theorem \ref{thm:small-blobs}]