diff -r 77b0cdeb0fcd -r 217b6a870532 text/a_inf_blob.tex
--- 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