From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 21 Sep 2019 10:42:23 +0000 (+0100)
Subject: pock.1: Fix clumsy wording in Pocklington proof.
X-Git-Tag: 1.3.0~5
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/catacomb-python/commitdiff_plain/5ddddeff280bf639d0afc3c52fdf8b401eaa882e?hp=7db83a89024f642d31af0bf619aa8009bec5f4d5

pock.1: Fix clumsy wording in Pocklington proof.
---

diff --git a/pock.1 b/pock.1
index 4ebf3a6..7164eb9 100644
--- a/pock.1
+++ b/pock.1
@@ -514,9 +514,7 @@ dividing
 and,
 from
 .BR 1 ,
-the
-.I q
-are distinct,
+these primes are distinct,
 we deduce that
 .I Q
 divides