From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Mar 2012 15:52:47 +0000 (+0000)
Subject: simple commit unique base clarification
X-Git-Tag: f0.2~87
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=1dba870613dc3668dbbcb5cf5afd61f9cd310a1d;p=topbloke-formulae.git

simple commit unique base clarification
---

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$: