diff -r c393d1202724 -r 62a402dd3e6e text/ncat.tex
--- a/text/ncat.tex	Thu Sep 23 13:08:25 2010 -0700
+++ b/text/ncat.tex	Thu Sep 23 18:10:35 2010 -0700
@@ -2079,7 +2079,7 @@
 Let $D' = B\cap C$.
 It is not hard too show that the above two maps are mutually inverse.
 
-\begin{lem}
+\begin{lem} \label{equator-lemma}
 Any two choices of $E$ and $E'$ are related by a series of modifications as above.
 \end{lem}
 
@@ -2237,15 +2237,4 @@
 
 To define (binary) composition of $n{+}1$-morphisms, choose the obvious common equator
 then compose the module maps.
-Associativity of this composition rules follows from repeated application of the adjoint identity between
-the maps of Figures \ref{jun23b} and \ref{jun23c}.
-
-
-%\nn{still to do: associativity}
-
-\medskip
-
-%\nn{Stuff that remains to be done (either below or in an appendix or in a separate section or in
-%a separate paper): discuss Morita equivalence; functors}
-
-
+The proof that this composition rule is associative is similar to the proof of Lemma \ref{equator-lemma}.