Clarify

18.tex

@@ -171,10 +171,13 @@ besonders gut.
   \end{equation*}
 \end{lemma}
 \begin{proof}
-  Die Gruppe $U$ wirkt durch Linksmultiplikation auf der Menge $M$ der
-  Linksnebenklassen,
+  Betrachte die Menge $M$ der Linksnebenklassen,
   \[
-    M := \{ g· U \::\: g ∈ G\}.
+    M := \{ g·U \::\: g ∈ G\}.
+  \]
+  Die Gruppe $U$ wirkt durch Linksmultiplikation auf dieser Menge
+  \[
+    U\times M \to M, \quad (u, g·U) \mapsto (u·g)·U.
   \]
   Wie immer sei $M_0 ⊆ M$ die Menge der Fixpunkte dieser Wirkung.  Wann ist eine
   Nebenklasse $g·U$ ein Fixpunkt dieser Wirkung?  Antwort: es ist
@@ -186,7 +189,7 @@ besonders gut.
   \end{align*}
   Also ist
   \[
-    [N(U):U] = |M_0| \overset{\text{Satz~\ref{lem:zsl}}}{\equiv} |M| = [G:U].  \qedhere
+    [N(U):U] = |M_0| \overset{\text{Schlüssel-Lemma~\ref{lem:zsl}}}{\equiv} |M| = [G:U].  \qedhere
   \]
 \end{proof}