lie-algebras-and-their-representations

diff --git a/sections/mathieu.tex b/sections/mathieu.tex
@@ -265,14 +265,14 @@
   (\operatorname{Ext}(V))[\lambda]\).
 \end{proposition}
 
-% TODO: Do we need to use the fact that U(g) is netherian to conclude that V is
-% the quotient of subsequent terms of a composition series?
 \begin{proof}
   Fix some coherent extension \(\mathcal{M}\) of \(V\), so that \(V\) is a
   subquotient of \(\mathcal{M}\). More precisely, since \(V\) is irreducible it
-  can be realized as the quotient of consecutive terms of a composition series
-  \(0 = \mathcal{M}_0 \subset \mathcal{M}_1 \subset \cdots \subset
-  \mathcal{M}_n = \mathcal{M}[\lambda]\). But
+  is a subquotient of \(\mathcal{M}[\lambda]\) -- its support is contained in
+  \(\lambda + Q\). Furtheremore, once again it follows from the irreducibility
+  of \(V\) that it can be realized as the quotient of consecutive terms of a
+  composition series \(0 = \mathcal{M}_0 \subset \mathcal{M}_1 \subset \cdots
+  \subset \mathcal{M}_n = \mathcal{M}[\lambda]\). But
   \[
     (\operatorname{Ext}(V))[\lambda]
     \cong \mathcal{M}^{\operatorname{ss}}[\lambda]