pock.1: Explicitly resolve the absolute-value wrapping from Hasse.

The following calculation doesn't hint that the term in the |...| has
been negated until quite late, making it a little misleading.

diff --git a/pock.1 b/pock.1
index 7164eb94620b78dd56a3f45bc2870ccf006445fb..6879bc5fad48303b3c85e1b1080a008cbb04c024 100644 (file)
--- a/pock.1
+++ b/pock.1
@@ -765,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 +