lie-algebras-and-their-representations

diff --git a/sections/introduction.tex b/sections/introduction.tex
@@ -869,7 +869,7 @@ formulate the correspondence between representations of \(\mathfrak{g}\) and
   that a \(K\)-linear map between representations \(M\) and \(N\) is an
   intertwiner if, and only if it is a homomorphism of
   \(\mathcal{U}(\mathfrak{g})\)-modules. Our functor thus takes an intertwiner
-  \(M \to N\) to itself. It is thus clear that our functor
+  \(M \to N\) to itself. It should then be clear that our functor
   \(\mathbf{Rep}(\mathfrak{g}) \to \mathfrak{g}\text{-}\mathbf{Mod}\) is
   invertible.
 \end{proof}