diff --git a/blueprint/src/chapters/2-case2.tex b/blueprint/src/chapters/2-case2.tex
index 39e2be5..3590652 100644
--- a/blueprint/src/chapters/2-case2.tex
+++ b/blueprint/src/chapters/2-case2.tex
@@ -41,7 +41,9 @@ \chapter*{Case 2}
     \leanok
     %\uses{}
     Let $a, b, c \in \N$. \\
-    If $3 \divides a$ and $3 \divides b$ and $a ^ 3 + b ^ 3 = c ^ 3$, then $3 \divides \gcd(\set{a, b, c})$.
+    Let $3 \divides a$ and $3 \divides b$. \\
+    Let $a ^ 3 + b ^ 3 = c ^ 3$. \\\\
+    Then $3 \divides \gcd(\set{a, b, c})$.
 \end{lemma}
 \begin{proof}
     \leanok
@@ -53,7 +55,9 @@ \chapter*{Case 2}
     \leanok
     %\uses{}
     Let $a, b, c \in \N$. \\
-    If $3 \divides a$ and $3 \divides c$ and $a ^ 3 + b ^ 3 = c ^ 3$, then $3 \divides \gcd(\set{a, b, c})$.
+    Let $3 \divides a$ and $3 \divides c$. \\
+    Let $a ^ 3 + b ^ 3 = c ^ 3$. \\\\
+    Then $3 \divides \gcd(\set{a, b, c})$.
 \end{lemma}
 \begin{proof}
     \leanok