Sindbad~EG File Manager

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

RRABC
RABCD
ANBEABE+EEABEB+EEACEC+NEBC defn:rightangle
BEABE
EEABEB
EEACEC
EEBCBC  cn:congruencereflexive
EECDCD  cn:congruencereflexive
EEBABE  lemma:congruenceflip
EECACE   lemma:congruenceflip
ORBEBDC|EQCD|BEBCD  lemma:ray1
cases RRABD:BEBDC|EQCD|BEBCD
 case 1: BEBDC
  EEBDBD   cn:congruencereflexive
  EEDCDC   cn:congruencereflexive
  EEBABE
  EECACE
  EEDADE   lemma:interior5
  EEADED   lemma:congruenceflip
  NEBD     lemma:betweennotequal
  ANBEABE+EEABEB+EEADED+NEBD
  RRABD   defn:rightangle
 qedcase
 case 2:EQCD
  RRABD cn:equalitysub
 qedcase
 case 3:BEBCD
  EEADED  axiom:5-line
  NEBD     lemma:betweennotequal
  ANBEABE+EEABEB+EEADED+NEBD
  RRABD  defn:rightangle
 qedcase
RRABD cases

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