diff --git a/src/ga/05topology_inv.tex b/src/ga/05topology_inv.tex
index 2c76698..7bb2586 100644
--- a/src/ga/05topology_inv.tex
+++ b/src/ga/05topology_inv.tex
@@ -95,7 +95,7 @@ \subsection{Compactness and paracompactness}
 \er
 
 \be
-The interval $[0,1]$ is compact in $(\R,\cO_\mathrm{std})$. The one-element set containing $(-1,2)$ is a cover of $[0,1]$, but it is also a finite subcover and hence $[0,1]$ is compact from the definition. Alternatively, $[0,1]$ is clearly closed and bounded, and hence it is compact by the Heine-Borel theorem.
+The interval $[0,1]$ is compact in $(\R,\cO_\mathrm{std})$. Alternatively, $[0,1]$ is clearly closed and bounded, and hence it is compact by the Heine-Borel theorem.
 \ee
 
 \be