diff --git a/univalent_inverse_power_v2.txt b/univalent_inverse_power_v2.txt
index b898952..ebbdd54 100644
--- a/univalent_inverse_power_v2.txt
+++ b/univalent_inverse_power_v2.txt
@@ -756,7 +756,6 @@ S_b gives B_b(-1) <= beta.  QED (PROPOSITION 1.8)
 
 END OF THE DISK.  From here on, f never appears again.  Everything is
 about the compact family K, the operator L, and the one number beta.
-The rest of the document proves:
 
     IF beta >= 1/4 THEN A CONTRADICTION FOLLOWS.