--- a/text/deligne.tex	Sun Jun 06 09:49:57 2010 -0700
+++ b/text/deligne.tex	Sun Jun 06 20:56:47 2010 +0200
@@ -225,8 +225,9 @@
 a higher dimensional version of the Deligne conjecture for Hochschild cochains and the little 2-disk operad.
 
 \begin{proof}
-
-
+As described above, $FG^n_{\overline{M}, \overline{N}}$ is equal to the disjoint
+union of products of homeomorphisms spaces, modulo some relations.
+By \ref{CHprop}, 
 \nn{...}
 \end{proof}