Update 2-case2.tex

pitmonticone · Apr 9, 2024 · ac1c34c · ac1c34c
1 parent 433b844
commit ac1c34c
Showing 1 changed file with 6 additions and 2 deletions.
diff --git 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