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/collinear2.prf

COABC
OREQAB|EQAC|EQBC|BEBAC|BEABC|BEACB defn:collinear
cases COBCA:EQAB|EQAC|EQBC|BEBAC|BEABC|BEACB
case 1: EQAB
EQBA lemma:equalitysymmetric
COBCA defn:collinear
qedcase
case 2: EQAC
EQCA lemma:equalitysymmetric
COBCA defn:collinear
qedcase
case 3: EQBC
COBCA defn:collinear
qedcase
case 4: BEBAC
COBCA defn:collinear
qedcase
case 5: BEABC
BECBA axiom:betweennesssymmetry
COBCA defn:collinear
qedcase
case 6: BEACB
BEBCA axiom:betweennesssymmetry
COBCA defn:collinear
qedcase
COBCA cases

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