--- a/text/a_inf_blob.tex Thu Mar 18 19:40:46 2010 +0000 +++ b/text/a_inf_blob.tex Sat Mar 27 03:07:45 2010 +0000 @@ -249,6 +249,7 @@ Theorem \ref{product_thm}. \end{proof} +This establishes Property \ref{property:gluing}. \medskip