Replace contradiction proof endmarks

Algebra.tex

@@ -368,7 +368,7 @@ $e = 0, g^n = n \cdot g, \inv g = -g$
 		(ab)^{\frac{rs}p} = a^{\frac{rs}p} \cdot b^{\frac{rs}p} = (a^s)^{\frac rp} \cdot
 		{\underbrace{(b^s)}_{=e}}^{\frac{rs}p} = (a^s)^{\frac{rs}p} = e
 	\]
-	Die Ordnung von $a$ und daher von $a^s$ ist aber $r$ und daher sicher $> \frac rp$ \Lightning.
+	Die Ordnung von $a$ und daher von $a^s$ ist aber $r$ und daher sicher $> \frac rp$. \qed
 \end{proof}
 
 Für $p \in \Primes$ bezeichnet $\nu_p(n)$ die Vielfachheit von $p$ in $n$.
@@ -389,7 +389,7 @@ Für $p \in \Primes$ bezeichnet $\nu_p(n)$ die Vielfachheit von $p$ in $n$.
 	\]
 	Dann ist $\ggT\left(a^{p^e}, b^{\frac{n}{p^{e'}}}\right) = 1 \implies
 		\ord_g\left(a^{p^e} \cdot b^{\frac{n}{p^{e'}}}\right)
-		= \frac{m}{p^e} \cdot p^{e'} = m \cdot p^{\overbrace{\scriptstyle{(e'-e)}}^{\ge 1}} > m$ \Lightning
+		= \frac{m}{p^e} \cdot p^{e'} = m \cdot p^{\overbrace{\scriptstyle{(e'-e)}}^{\ge 1}} > m$ \qed
 \end{proof}
 
 \begin{satz}