X-Git-Url: https://git.distorted.org.uk/~mdw/catacomb-python/blobdiff_plain/5ddddeff280bf639d0afc3c52fdf8b401eaa882e..de7abe027c49013c4b4254f9180e347c3f1d8cea:/pock.1

diff --git a/pock.1 b/pock.1
index 7164eb9..6879bc5 100644
--- a/pock.1
+++ b/pock.1
@@ -765,6 +765,13 @@ Hasse's theorem tells us that
 .RI # E\*(usp\*(ue |
 \(<=
 .RI 2\*(sr p ,
+so, in particular,
+.RI # E\*(usp\*(ue
+\-
+.I p
+\- 1
+\(<=
+.RI 2\*(sr p ,
 whence
 .I p
 + 1 +