simple commit unique base clarification

diff --git a/article.tex b/article.tex
index 70d6d88200ffa76188a4e3fb553043e4094288a2..e6447d92380b854b40c0c1bf9d61825564f79a4d 100644 (file)
--- 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$: