From af45914d822a664f11f5b060c55a2c0d11e166f6 Mon Sep 17 00:00:00 2001
From: Youwen Wu <youwenw@gmail.com>
Date: Sat, 25 May 2024 17:33:28 -0700
Subject: [PATCH] fix embarrassing math mistake

---
 src/posts/2024-05-25-haskell-blog.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/posts/2024-05-25-haskell-blog.md b/src/posts/2024-05-25-haskell-blog.md
index 5267dc9..fa900bf 100644
--- a/src/posts/2024-05-25-haskell-blog.md
+++ b/src/posts/2024-05-25-haskell-blog.md
@@ -99,7 +99,7 @@ Cons:
 Let's try it now. Here's a simple theorem:
 
 $$
-a^2 + b^2 \ne c^2 \, \forall\,\left\{ a,\,b,\,c \right\} \in \mathbb{Z} \land a,\,b,\,c \ge 3
+a^n + b^n \ne c^n \, \forall\,\left\{ a,\,b,\,c \right\} \in \mathbb{Z} \land n \ge 3
 $$
 
 The proof is trivial and will be left as an exercise to the reader.