simple commit foreign inclusion use simple foreign inclusion

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 3f066dc59b5275790551472e2735cf50ceeffc73..b4035ddf35da3ad1c234a2b42f684784d3fd3485 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -470,10 +470,9 @@ So:
 \[ A \nothaspatch P \implies C \nothaspatch P \]
 $\qed$
 
-\subsection{Foreign inclusion:}
+\subsection{Foreign Inclusion:}
 
-If $D = C$, trivial.  For $D \neq C$:
-$D \isin C \equiv D \isin A \equiv D \le A \equiv D \le C$.  $\qed$
+Simple Foreign Inclusion applies.  $\qed$
 
 \subsection{Foreign Contents:}