Update 16-Zahlentheorie.tex

16-Zahlentheorie.tex

@@ -842,7 +842,7 @@ anwenden, wobei
 \]
 ist.  Also müssen wir die Funktion $Φ$ diskutieren.
 
-\begin{lemma}
+\begin{lemma}\label{lem:16-5-2}
   Die Funktion $Φ(s) - \frac{1}{s-1}$ ist auf der Menge $\mathfrak{Re}(s) ≥ 1$
   holomorph.
 \end{lemma}
@@ -878,6 +878,20 @@ ist.  Also müssen wir die Funktion $Φ$ diskutieren.
   Weil $ζ$ für $\mathfrak{Re}(s) > 1$ holomorph ist, folgt die Behauptung.
 \end{proof}
 
+\begin{lemma}
+  Die Funktion $\frac{Φ(s)}{s} - \frac{1}{s-1}$ ist auf der Menge
+  $\mathfrak{Re}(s) ≥ 1$ holomorph.
+\end{lemma}
+\begin{proof}
+  Nach Lemma~\ref{lem:16-5-2} ist die Funktion $Φ(s) - \frac{1}{s-1}$ auf der
+  Menge $\mathfrak{Re}(s) ≥ 1$ holomorph. Also ist auch 
+  \[
+    \frac{Φ(s)}{s} - \frac{1}{s(s-1)} = \frac{Φ(s)}{s} - \frac{1}{s-1} + \frac{1}{s}
+  \]
+  auf der Menge $\mathfrak{Re}(s) ≥ 1$ holomorph.  Also auch die Funktion
+  $\frac{Φ(s)}{s} - \frac{1}{s-1}$.
+\end{proof}
+
 Der Primzahlsatz benötigt noch weitere Lemmata.
 
 \begin{lemma}