From 5ddddeff280bf639d0afc3c52fdf8b401eaa882e Mon Sep 17 00:00:00 2001
Message-Id: <5ddddeff280bf639d0afc3c52fdf8b401eaa882e.1746822330.git.mdw@distorted.org.uk>
From: Mark Wooding <mdw@chiark.greenend.org.uk>
Date: Sat, 21 Sep 2019 11:42:23 +0100
Subject: [PATCH] pock.1: Fix clumsy wording in Pocklington proof.
Organization: Straylight/Edgeware

From: Mark Wooding <mdw@distorted.org.uk>

---
 pock.1 | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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
-- 
[mdw]