X-Git-Url: https://git.distorted.org.uk/~mdw/catacomb-python/blobdiff_plain/69afd8a9c358463781df88ed3e35abbd5042e42f..606677f69fb8f1ac87e5b5b50b99dbf0138c0cc4:/pock.1

diff --git a/pock.1 b/pock.1
index f977ee4..6879bc5 100644
--- a/pock.1
+++ b/pock.1
@@ -472,7 +472,7 @@ the order of
 in
 .RB ( Z /\fIp Z )\*(ss\(**\*(se
 divides
-.I p
+.I n
 \-
 1.
 Consider some prime
@@ -514,9 +514,7 @@ dividing
 and,
 from
 .BR 1 ,
-the
-.I q
-are distinct,
+these primes are distinct,
 we deduce that
 .I Q
 divides
@@ -767,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 +