diff --git a/.circleci/config.yml b/.circleci/config.yml
index 20965c3..16787fc 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -14,8 +14,8 @@ jobs:
           name: Generating current version
           command: |
             latexmk Lineare_Algebra.tex;
-            sed -e 's/%--//g' Lineare_Algebra.tex  > Condensed.tex
-            latexmk Condensed.pdf
+            sed -e 's/%--//g' Lineare_Algebra.tex > Condensed.tex
+            latexmk Condensed.tex
             mkdir /tmp/artifacts;
             cp Lineare_Algebra.pdf /tmp/artifacts/
       - run:
diff --git a/Lineare_Algebra.tex b/Lineare_Algebra.tex
index 5fc5c7f..7c0f86c 100644
--- a/Lineare_Algebra.tex
+++ b/Lineare_Algebra.tex
@@ -1234,14 +1234,17 @@ Dann sehen die L"osungen so aus:
 \end{enumerate}
 \end{relation}
 
-Proposition: Sei \(A\in k^{m\times n}\). Das homogene LGS der Form \(L=\{\phi
+\begin{proposition}
+Sei \(A\in k^{m\times n}\). Das homogene LGS der Form \(L=\{\phi
 t \}\) fuer ein \(r\geq 0, \phi\)
 
 \(\rightarrow\) es gibt \(n-r\) freie Parameter, die die Loesungsmenge beschreiben.
+\end{proposition}
 
-\textbf{Anmerkung} Ein homogenes LGS \(A\cdot x=0\) mit  hat immer eine L"osung \(x\not=
+\begin{bem}
+ Ein homogenes LGS \(A\cdot x=0\) mit  hat immer eine L"osung \(x\not=
 0\) (es gibt mindestens eine freie Variable).
-
+\end{bem}
 
 \begin{exa}[] \label{}
 Finde ein reelles Polynom von Grad 2.