Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/ABCequalsCBA.prf

NCABC
EQBA  assumption
EQAB  lemma:equalitysymmetric
COABC  defn:collinear
NEBA reductio
EQCB assumption
 COCBA defn:collinear
 COABC lemma:collinearorder
NECB  reductio
ANBEBAE+EEAECB  lemma:extension
EQBC assumption
COABC defn:collinear
NCABC
NEBC  reductio
NEAB  lemma:inequalitysymmetric
ANBEBCF+EECFAB  lemma:extension
BEBCF
EECFAB
EEBAFC   lemma:doublereverse
EEAECB
BEBAE
BEFCB   axiom:betweennesssymmetry
EEBEFB  cn:sumofparts
EEFBBF  cn:equalityreverse
EEBEBF  lemma:congruencetransitive
EEBFBE  lemma:congruencesymmetric
EEEFFE  cn:equalityreverse
RABAE   lemma:ray4
RABCF   lemma:ray4
EAABCCBA  defn:equalangles

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists