diff --git a/main.tex b/main.tex
index 8df39d3778d742bb2cf74bace018a0994ba004f4..60aea11a301fd70877a8d0ab5ce20c70f89a1395 100644
--- a/main.tex
+++ b/main.tex
@@ -1138,7 +1138,7 @@ inverse, for each $q$ considered.
 
 \begin{proof}
 
-Consider the following tautology:
+Consider the following:
 
 \begin{align}
 	\frac{ x }{ m }