| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/differentpoint.prf |
NEAB COABC EQAA cn:equalityreflexive EQBB cn:equalityreflexive COABA defn:collinear COABB defn:collinear NEBA lemma:inequalitysymmetric cases ORANCOABA+NEACANCOBB+NEBC:EQCA|NECE case 1:EQCA NEBC cn:equalitysub ANCOABB+NEBC ORANCOABA+NEACANCOBB+NEBC qedcase case 2:NECA NEAC lemma:inequalitysymmetric ANCOABA+NEAC ORANCOABA+NEACANCOBB+NEBC qedcase ORANCOABA+NEACANCOBB+NEBC cases