update

pitmonticone · Apr 19, 2024 · c296941 · c296941
1 parent 3371afc
commit c296941
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/blueprint/src/chapters/0-introduction.tex b/blueprint/src/chapters/0-introduction.tex
@@ -146,7 +146,8 @@ \chapter{Introduction}
 \end{lemma}
 \begin{proof}
     \leanok
-    % TODO
+    Since the third cyclotomic polynomial over $\Q$ is irreducible, then the norm of $\lambda$ is $3$
+    by properties of primitive roots.
 \end{proof}
 
 \begin{lemma}

diff --git a/blueprint/src/chapters/2-case2.tex b/blueprint/src/chapters/2-case2.tex
@@ -1175,7 +1175,7 @@ \chapter{Case 2}
               $$u_4 - m = Y^3 + u_4 Z^3 - (Y^3 - 1) - u_4 (Z^3 - 1).$$
               By \Cref{lmm:formula2}, we have that
               $$u_4 - m = u_5 (λ^{n-1} X)^3 - (Y^3 - 1) - u_4 (Z^3 - 1).$$
-              Since, by \Cref{lambda_sq_div_new_X_cubed}, we know that
+              Since, by \Cref{lmm:lambda_sq_div_new_X_cubed}, we know that
               $$\lambda^2 \divides u_5 (λ^{n-1} X)^3$$
               and, by \Cref{lmm:lambda_sq_div_lambda_fourth} and by assumption, we have that
               $$\lambda^2 \divides Y^3 - 1 \land \lambda^2 \divides Z^3 - 1,$$