master > master: minor

This commit is contained in:
RD 2020-12-09 10:03:16 +01:00
parent 6fda99cb16
commit 5d1df6d266
2 changed files with 1 additions and 1 deletions

Binary file not shown.

View File

@ -4457,7 +4457,7 @@ Um \Cref{satz:1:ueb:6:ex:3} zu beweisen, brauchen wir zunächst folgendes Zwisch
\end{lemm}
\begin{einzug}[\rtab][\rtab]
\begin{proof}
\begin{proof}[von \Cref{lemm:1:ueb:6:ex:3}][\Cref{lemm:1:ueb:6:ex:3}]
Da die Teilstruktur, $(F,+)$, durch die Produktstruktur $(K,+)\times (K,+)$ gegeben ist,
dessen Faktoren all kommutative Gruppen sind, ist $(F,+)$ eine kommutative Gruppe.
Das heißt, die {\bfseries Additionsaxiome} unter den Körperaxiomen sind allesamt erfüllt.