~mdw
/
catacomb-python
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch '1.3.x' into HEAD
[catacomb-python]
/
pock.1
diff --git
a/pock.1
b/pock.1
index
4ebf3a6
..
6879bc5
100644
(file)
--- a/
pock.1
+++ b/
pock.1
@@
-514,9
+514,7
@@
dividing
and,
from
.BR 1 ,
and,
from
.BR 1 ,
-the
-.I q
-are distinct,
+these primes are distinct,
we deduce that
.I Q
divides
we deduce that
.I Q
divides
@@
-767,6
+765,13
@@
Hasse's theorem tells us that
.RI # E\*(usp\*(ue |
\(<=
.RI 2\*(sr p ,
.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 +
whence
.I p
+ 1 +