lie-algebras-and-their-representations

diff --git a/sections/complete-reducibility.tex b/sections/complete-reducibility.tex
@@ -125,7 +125,7 @@ In case the relationship between complete reducibility, semisimplicity of
 \(\mathfrak{g}\)-modules and the simplicity of indecomposable modules is
 unclear, the following results should clear things up.
 
-\begin{proposition}\label{thm:complete-reducibility-equiv}
+\begin{proposition}
   The following conditions are equivalent.
   \begin{enumerate}
     \item Every submodule of a finite-dimensional \(\mathfrak{g}\)-module is
@@ -256,7 +256,7 @@ We are now ready to answer our first question: the special thing about
 semisimple algebras is that the relationship between their indecomposable
 modules and their simple modules is much clearer. Namely\dots
 
-\begin{proposition}\label{thm:complete-reducibility-equiv}
+\begin{proposition}
   Given a finite-dimensional Lie algebra \(\mathfrak{g}\) over \(K\),
   \(\mathfrak{g}\) is semisimple if, and only if every finite-dimensional
   \(\mathfrak{g}\)-module is completely reducible.