diff --git a/documents/by-course/math-8/course-notes/main.typ b/documents/by-course/math-8/course-notes/main.typ
index 53e7057..27e5adf 100644
--- a/documents/by-course/math-8/course-notes/main.typ
+++ b/documents/by-course/math-8/course-notes/main.typ
@@ -410,7 +410,7 @@ non-perfect square is irrational.
 ]
 
 #problem("Euclid's Theorem")[
-  Show that there are an infinite amount of prime numbers.
+  Show the infinitude of primes (there are an infinite amount of prime numbers).
 ]<euclid>
 
 #problem[