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

RABCD
RABCV
ANBEEBD+BEEBC  defn:ray
ANBEHBV+BEHBC  defn:ray
BEEBC
BEEBD
BEHBV
BEHBC
NOBEEBV assumption
 BEBEH  assumption
  BEHEB  axiom:betweennesssymmetry
  BEEBV  lemma:3.6a
 NOBEBEH reductio
 BEBHE  assumption
  BEEHB  axiom:betweennesssymmetry
  BEEBV  lemma:3.7a
 NOBEBHE reductio
 BECBE  axiom:betweennesssymmetry
 BECBH  axiom:betweennesssymmetry
 EQHE   lemma:outerconnectivity
 BEEBV  cn:equalitysub
BEEBV  reductio
RABDV        defn:ray

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