From 1dba870613dc3668dbbcb5cf5afd61f9cd310a1d Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Mar 2012 15:52:47 +0000
Subject: [PATCH] simple commit unique base clarification

---
 article.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/article.tex b/article.tex
index 70d6d88..e6447d9 100644
--- a/article.tex
+++ b/article.tex
@@ -369,7 +369,10 @@ Topbloke strips the metadata when exporting.
 Trivial.
 
 \subsection{Unique Base}
-If $A, C \in \py$ then $\baseof{C} = \baseof{A}$. $\qed$
+If $A, C \in \py$ then by Calculation of Ends for
+$C, \py, C \not\in \py$:
+$\pendsof{C}{\pn} = \pendsof{A}{\pn}$ so
+$\baseof{C} = \baseof{A}$. $\qed$
 
 \subsection{Tip Contents}
 We need to consider only $A, C \in \py$.  From Tip Contents for $A$:
-- 
2.30.2