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.